| Mon, 14 Apr 2008 14:28:47 +0200 | wenzelm | Isar.toplevel_loop: separate init/welcome flag; | changeset | files |
| Sun, 13 Apr 2008 16:40:08 +0200 | wenzelm | Sorts.class_error: produce message only (formerly msg_class_error); | changeset | files |
| Sun, 13 Apr 2008 16:40:07 +0200 | wenzelm | tsig: removed unnecessary universal witness; | changeset | files |
| Sun, 13 Apr 2008 16:40:06 +0200 | wenzelm | simplified handling of sorts, removed unnecessary universal witness; | changeset | files |
| Sun, 13 Apr 2008 16:40:05 +0200 | wenzelm | removed unused minimal_classes; | changeset | files |
| Sun, 13 Apr 2008 16:40:04 +0200 | wenzelm | added insert_sorts (from thm.ML); | changeset | files |
| Sun, 13 Apr 2008 16:40:02 +0200 | wenzelm | tsig: removed unnecessary universal witness; | changeset | files |
| Sun, 13 Apr 2008 14:30:23 +0200 | wenzelm | tuned; | changeset | files |