| Tue, 19 Jun 2007 23:15:27 +0200 | wenzelm | balanced conjunctions; | file | diff | annotate |
| Tue, 05 Jun 2007 15:16:10 +0200 | haftmann | fixed broken execption handling | file | diff | annotate |
| Thu, 24 May 2007 08:37:41 +0200 | haftmann | tuned warning | file | diff | annotate |
| Sat, 19 May 2007 19:35:17 +0200 | haftmann | more robust thm handling | file | diff | annotate |
| Sat, 19 May 2007 11:33:32 +0200 | haftmann | improved eta expansion | file | diff | annotate |
| Thu, 17 May 2007 19:49:21 +0200 | haftmann | dropped beta/eta normalization of defining equations | file | diff | annotate |
| Thu, 10 May 2007 10:21:44 +0200 | haftmann | tuned | file | diff | annotate |
| Thu, 10 May 2007 00:39:45 +0200 | wenzelm | moved conversions to structure Conv; | file | diff | annotate |
| Thu, 26 Apr 2007 13:33:12 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:35 +0200 | haftmann | tuned | file | diff | annotate |
| Sun, 15 Apr 2007 14:32:05 +0200 | wenzelm | Thm.plain_prop_of; | file | diff | annotate |
| Fri, 30 Mar 2007 16:19:03 +0200 | haftmann | simplified constant representation in code generator | file | diff | annotate |
| Tue, 20 Mar 2007 15:52:41 +0100 | haftmann | improved treatment of defining equations stemming from specification tools | file | diff | annotate |
| Tue, 20 Mar 2007 08:27:20 +0100 | haftmann | adjusted definition of defining equation | file | diff | annotate |
| Fri, 16 Mar 2007 21:32:20 +0100 | haftmann | clarified check of defining equations | file | diff | annotate |