src/HOL/BNF/BNF_Comp.thy
Sat, 25 May 2013 15:44:29 +0200 haftmann weaker precendence of syntax for big intersection and union on sets
Tue, 07 May 2013 14:22:54 +0200 traytel got rid of the set based relator---use (binary) predicate based relator instead
Fri, 21 Sep 2012 17:02:23 +0200 blanchet clean up lemmas used for composition
Fri, 21 Sep 2012 16:45:06 +0200 blanchet renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
less more (0) tip