Tue, 14 May 2002 12:33:42 +0200 | kleing | numerals work again | file | diff | annotate |
Sat, 11 May 2002 20:40:31 +0200 | kleing | fix for change in nat number simplification | file | diff | annotate |
Tue, 30 Apr 2002 13:00:29 +0200 | kleing | tuned | file | diff | annotate |
Fri, 19 Apr 2002 14:47:10 +0200 | berghofe | Added example for code generation. | file | diff | annotate |
Sat, 09 Mar 2002 20:39:46 +0100 | kleing | canonical start state | file | diff | annotate |
Thu, 07 Mar 2002 23:41:30 +0100 | wenzelm | renamed nat_number_of to nat_number (avoid clash with separate theorem); | file | diff | annotate |
Sun, 03 Mar 2002 16:59:08 +0100 | kleing | symbolized | file | diff | annotate |
Thu, 28 Feb 2002 13:38:49 +0100 | kleing | fixed document | file | diff | annotate |
Tue, 26 Feb 2002 15:45:32 +0100 | kleing | introduces SystemClasses and BVExample | file | diff | annotate |