| Wed, 27 Nov 2002 17:11:38 +0100 |
berghofe |
Fixed bug in consts_code section.
|
file |
diff |
annotate
|
| Fri, 14 Jun 2002 23:25:36 +0200 |
kleing |
wt_method now checks bounded+types ==> wt_kildall <=> wt_method
|
file |
diff |
annotate
|
| Thu, 30 May 2002 10:12:52 +0200 |
nipkow |
Modifications due to enhanced linear arithmetic.
|
file |
diff |
annotate
|
| 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
|