Tue, 16 Jan 2001 00:27:37 +0100 | wenzelm | -f option; | changeset | files |
Tue, 16 Jan 2001 00:25:54 +0100 | wenzelm | removed; | changeset | files |
Tue, 16 Jan 2001 00:25:25 +0100 | wenzelm | removed ex/StringEx.ML; | changeset | files |
Tue, 16 Jan 2001 00:25:00 +0100 | wenzelm | split_conv; | changeset | files |
Tue, 16 Jan 2001 00:24:36 +0100 | wenzelm | updated; | changeset | files |
Tue, 16 Jan 2001 00:23:14 +0100 | wenzelm | isabelle -f; | changeset | files |
Tue, 16 Jan 2001 00:22:43 +0100 | wenzelm | more method_setup examples; | changeset | files |