Christian Urban <urbanc@in.tum.de> [Fri, 27 Aug 2010 19:06:30 +0800] rev 2444
made all typographic changes
Christian Urban <urbanc@in.tum.de> [Fri, 27 Aug 2010 16:00:19 +0800] rev 2443
first pass on section 1
Christian Urban <urbanc@in.tum.de> [Fri, 27 Aug 2010 13:57:00 +0800] rev 2442
make copies of the "old" files
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 27 Aug 2010 02:25:40 +0000] rev 2441
Ball Bex can be lifted after unfolding.
Christian Urban <urbanc@in.tum.de> [Fri, 27 Aug 2010 03:37:17 +0800] rev 2440
"isabelle make test" makes all major examples....they work up to supp theorems (excluding)
Christian Urban <urbanc@in.tum.de> [Fri, 27 Aug 2010 02:08:36 +0800] rev 2439
merged
Christian Urban <urbanc@in.tum.de> [Fri, 27 Aug 2010 02:03:52 +0800] rev 2438
corrected bug with fv-function generation (that was the problem with recursive binders)
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Aug 2010 14:55:15 +0900] rev 2437
minor
Christian Urban <urbanc@in.tum.de> [Thu, 26 Aug 2010 02:08:00 +0800] rev 2436
cleaned up (almost completely) the examples
Christian Urban <urbanc@in.tum.de> [Wed, 25 Aug 2010 23:16:42 +0800] rev 2435
cleaning of unused files and code