Nominal/Nominal2_Abs.thy
2010-12-16 Christian Urban simple cases for strong inducts done; infrastructure for the difficult ones is there
2010-12-07 Christian Urban moved general theorems into the libraries
2010-12-03 Christian Urban updated to Isabelle 2nd December
2010-11-29 Christian Urban isarfied some of the high-level proofs
2010-11-26 Christian Urban completely different method fro deriving the exhaust lemma
2010-11-22 Cezary Kaliszyk current isabelle
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
less more (0) tip