| Fri, 30 Apr 2010 15:45:39 +0200 | Cezary Kaliszyk | NewParser with Parser functionality, but some cheats included since the order of datayupes is wrong. | file | diff | annotate |
| Fri, 30 Apr 2010 14:48:13 +0200 | Cezary Kaliszyk | Merged nominal_datatype into NewParser until eqvts | file | diff | annotate |
| Fri, 30 Apr 2010 13:57:59 +0200 | Cezary Kaliszyk | more parser/new parser synchronization. | file | diff | annotate |
| Fri, 30 Apr 2010 10:48:48 +0200 | Cezary Kaliszyk | Simplify old parser for integration | file | diff | annotate |
| Sun, 25 Apr 2010 08:18:06 +0200 | Christian Urban | tuned and made to compile | file | diff | annotate |
| Sat, 24 Apr 2010 09:49:23 +0200 | Christian Urban | merged | file | diff | annotate |
| Wed, 21 Apr 2010 10:09:07 +0200 | Christian Urban | merged | file | diff | annotate |
| Tue, 20 Apr 2010 18:24:50 +0200 | Christian Urban | renamed Ex1.thy to SingleLet.thy | file | diff | annotate |