20130114 
Helmut Grohne  define a more useful version of lemmajust\==nnothing 
blob  commitdiff 
20130105 
Helmut Grohne  shrink lemmatabulate\circ using cong\_2 
blob  commitdiff  diff to current 
20121210 
Helmut Grohne  get rid of contraposition 
blob  commitdiff  diff to current 
20121122 
Helmut Grohne  shorten line lengths lemmaunionrestrict 
blob  commitdiff  diff to current 
20121025 
Helmut Grohne  rename lemmafromjust to justinjective 
blob  commitdiff  diff to current 
20120926 
Helmut Grohne  use _\==n_ and _\notin_ instead of \neg 
blob  commitdiff  diff to current 
20120427 
Helmut Grohne  use fromFunc to define union 
blob  commitdiff  diff to current 
20120419 
Helmut Grohne  FinMap: lemmalookupMrestrict drop useless implicit 
blob  commitdiff  diff to current 
20120419 
Helmut Grohne  move lemmajust!=nothing to FinMap and use it there 
blob  commitdiff  diff to current 
20120209 
Helmut Grohne  avoid a sym in lemmaunionrestrict 
blob  commitdiff  diff to current 
20120209 
Helmut Grohne  s/generate/restrict/g 
blob  commitdiff  diff to current 
20120209 
Helmut Grohne  prove lemmauniongenerate 
blob  commitdiff  diff to current 
20120126 
Helmut Grohne  split Bidir.agda to FinMap.agda 
blob  commitdiff  diff to current 
