| Mon, 16 Jan 2006 21:55:14 +0100 | wenzelm | declare the1_equality [elim?]; | changeset | files |
| Sun, 15 Jan 2006 20:04:05 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 15 Jan 2006 20:00:59 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 15 Jan 2006 19:58:57 +0100 | wenzelm | * Classical: optional weight for attributes; | changeset | files |
| Sun, 15 Jan 2006 19:58:56 +0100 | wenzelm | guess: used fixed inferred_type of vars; | changeset | files |
| Sun, 15 Jan 2006 19:58:55 +0100 | wenzelm | export add_args; | changeset | files |
| Sun, 15 Jan 2006 19:58:54 +0100 | wenzelm | attributes: optional weight; | changeset | files |
| Sun, 15 Jan 2006 19:58:53 +0100 | wenzelm | classical attributes: optional weight; | changeset | files |
| Sun, 15 Jan 2006 19:58:51 +0100 | wenzelm | prefer ex1I over ex_ex1I in single-step reasoning; | changeset | files |
| Sat, 14 Jan 2006 22:25:34 +0100 | wenzelm | generic attributes; | changeset | files |
| Sat, 14 Jan 2006 17:20:51 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 14 Jan 2006 17:15:24 +0100 | wenzelm | * ML/Isar: simplified treatment of user-level errors; | changeset | files |
| Sat, 14 Jan 2006 17:14:18 +0100 | wenzelm | sane ERROR vs. TOPLEVEL_ERROR handling; | changeset | files |
| Sat, 14 Jan 2006 17:14:17 +0100 | wenzelm | added Isar.toplevel; | changeset | files |
| Sat, 14 Jan 2006 17:14:16 +0100 | wenzelm | Output.error_msg; | changeset | files |