similarly rename lemma-from-map-just to map-just-injective
[~helmut/bidiragda.git] / FinMap.agda
2012-10-25 Helmut Grohnerename lemma-from-just to just-injective
2012-09-26 Helmut Grohneuse _\==n_ and _\notin_ instead of \neg
2012-04-27 Helmut Grohneuse fromFunc to define union
2012-04-19 Helmut GrohneFinMap: lemma-lookupM-restrict drop useless implicit
2012-04-19 Helmut Grohnemove lemma-just!=nothing to FinMap and use it there
2012-02-09 Helmut Grohneavoid a sym in lemma-union-restrict
2012-02-09 Helmut Grohnes/generate/restrict/g
2012-02-09 Helmut Grohneprove lemma-union-generate
2012-01-26 Helmut Grohnesplit Bidir.agda to FinMap.agda