| Tue, 17 Jan 2006 10:26:36 +0100 | paulson | improved SPASS support | changeset | files |
| Mon, 16 Jan 2006 21:55:17 +0100 | wenzelm | case_result: drop_schematic, i.e. be permissive about illegal binds; | changeset | files |
| Mon, 16 Jan 2006 21:55:15 +0100 | wenzelm | put_facts: do not pretend local thms were named; | changeset | files |
| 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 |