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