Nominal/nominal_inductive.ML
Wed, 19 Jan 2011 17:54:06 +0100 Christian Urban removed diagnostic code
Thu, 06 Jan 2011 14:02:10 +0000 Christian Urban tuned
Wed, 05 Jan 2011 17:33:43 +0000 Christian Urban exported the code into a separate file
less more (0) tip