| 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 |