src/HOL/BNF_Least_Fixpoint.thy
Wed, 03 Sep 2014 00:31:37 +0200 blanchet tuning
Wed, 03 Sep 2014 00:06:19 +0200 blanchet more compatibility functions
Tue, 02 Sep 2014 12:09:13 +0200 blanchet tuning
Mon, 01 Sep 2014 16:34:40 +0200 blanchet renamed BNF theories
less more (0) tip