| Sat, 04 Nov 2006 19:25:39 +0100 | wenzelm | updated; | changeset | files |
| Sat, 04 Nov 2006 19:25:38 +0100 | wenzelm | HOL_USEDIR_OPTIONS: -p 1 by default; | changeset | files |
| Sat, 04 Nov 2006 19:25:36 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 04 Nov 2006 19:25:34 +0100 | wenzelm | * October 2006: Stefan Hohe, TUM; | changeset | files |
| Sat, 04 Nov 2006 13:19:04 +0100 | wenzelm | replaced Toplevel.proof_to_theory by Toplevel.end_proof; | changeset | files |
| Sat, 04 Nov 2006 12:53:35 +0100 | wenzelm | optional argument for timespan (default 100); | changeset | files |
| Sat, 04 Nov 2006 12:46:40 +0100 | wenzelm | added at-mac-poly-e, at64-poly-e; | changeset | files |