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