Christian Urban <urbanc@in.tum.de> [Fri, 12 Feb 2010 15:06:20 +0100] rev 1137
moved "strange" lemma to quotient_tacs; marked a number of lemmas as unused; tuned
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 12 Feb 2010 12:06:09 +0100] rev 1136
The lattice instantiations are gone from Isabelle/Main, so
this can be removed.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 17:58:06 +0100] rev 1135
the lam/bla example.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 16:54:04 +0100] rev 1134
Finished a working foo/bar.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 16:05:15 +0100] rev 1133
fv_foo is not regular.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 15:08:45 +0100] rev 1132
Testing foo/bar
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 14:23:26 +0100] rev 1131
Even when bv = fv it still doesn't lift.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 14:02:34 +0100] rev 1130
Added the missing syntax file
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 14:00:00 +0100] rev 1129
Notation available locally
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 10:06:02 +0100] rev 1128
Main renaming + fixes for new Isabelle in IntEx2.