Sat, 23 Dec 2000 22:50:19 +0100 | wenzelm | Tools/string_syntax.ML; | changeset | files |
Sat, 23 Dec 2000 22:49:39 +0100 | wenzelm | tuned comment; | changeset | files |
Fri, 22 Dec 2000 18:25:00 +0100 | wenzelm | SML90 stuff; | changeset | files |
Fri, 22 Dec 2000 18:24:39 +0100 | wenzelm | handle proper rules; | changeset | files |
Fri, 22 Dec 2000 18:24:11 +0100 | wenzelm | export rewrite_cterm; | changeset | files |
Fri, 22 Dec 2000 18:23:41 +0100 | wenzelm | added inductive_conj; | changeset | files |