| Wed, 18 Jan 2006 02:48:58 +0100 | urbanc | fixed one proof that broke because of the changes | changeset | files |
| Tue, 17 Jan 2006 16:36:57 +0100 | haftmann | substantial improvements in code generator | changeset | files |
| Tue, 17 Jan 2006 10:26:50 +0100 | paulson | these hacks are no longer needed | changeset | files |
| 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 |