~helmut/bidiragda.git - Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)

Age	Commit message (Collapse)	Author
2012-09-26	use _\==n_ and _\notin_ instead of \neg	Helmut Grohne
	Consistent. Shorter.
2012-04-27	use fromFunc to define union	Helmut Grohne
	Semantically this is no change, but reducing to standard interface seems better.
2012-04-19	FinMap: lemma-lookupM-restrict drop useless implicit	Helmut Grohne

2012-04-19	move lemma-just!=nothing to FinMap and use it there	Helmut Grohne

2012-02-09	avoid a sym in lemma-union-restrict	Helmut Grohne

2012-02-09	s/generate/restrict/g	Helmut Grohne
	The name was deemed misleading. Nothing else changed.
2012-02-09	prove lemma-union-generate	Helmut Grohne

2012-01-26	split Bidir.agda to FinMap.agda	Helmut Grohne