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 |