| Tue, 15 Feb 2000 21:02:55 +0100 | kleing | cosmetics | changeset | files |
| Tue, 15 Feb 2000 19:41:44 +0100 | wenzelm | fixed sel_upd simproc (less efficient, but more complete); | changeset | files |
| Tue, 15 Feb 2000 17:51:11 +0100 | kleing | lightweight bytecode verifier with correctness proof | changeset | files |
| Mon, 14 Feb 2000 20:49:08 +0100 | wenzelm | basic source deps; | changeset | files |
| Mon, 14 Feb 2000 20:43:12 +0100 | wenzelm | easy_setup: fixed mksimps; | changeset | files |
| Mon, 14 Feb 2000 20:42:02 +0100 | wenzelm | proof step: reset goal_facts; | changeset | files |
| Mon, 14 Feb 2000 12:23:08 +0100 | wenzelm | mkdir -p $ISABELLE_BROWSER_INFO; | changeset | files |
| Mon, 14 Feb 2000 11:23:57 +0100 | wenzelm | fixed prefer; | changeset | files |
| Mon, 14 Feb 2000 11:23:44 +0100 | wenzelm | tuned msg; | changeset | files |
| Sun, 13 Feb 2000 21:01:26 +0100 | wenzelm | added refine_end; | changeset | files |
| Sun, 13 Feb 2000 21:00:02 +0100 | wenzelm | tuned attrib; | changeset | files |
| Sun, 13 Feb 2000 20:58:13 +0100 | wenzelm | apply: observe facts; | changeset | files |
| Sun, 13 Feb 2000 20:56:55 +0100 | wenzelm | prf_script commands made proper; | changeset | files |
| Sun, 13 Feb 2000 20:54:12 +0100 | wenzelm | refine_end; | changeset | files |
| Sun, 13 Feb 2000 20:52:58 +0100 | wenzelm | attrib: keyword_symid; | changeset | files |
| Thu, 10 Feb 2000 20:54:40 +0100 | wenzelm | \isabellesimplestyle; | changeset | files |
| Thu, 10 Feb 2000 20:54:18 +0100 | wenzelm | symid: include single symbolic char; | changeset | files |
| Thu, 10 Feb 2000 20:52:59 +0100 | wenzelm | is_symbolic; | changeset | files |
| Thu, 10 Feb 2000 13:36:23 +0100 | wenzelm | theorems [elim??] = sym; | changeset | files |
| Thu, 10 Feb 2000 13:34:52 +0100 | wenzelm | added easy_setup; | changeset | files |
| Thu, 10 Feb 2000 13:34:38 +0100 | wenzelm | add_judgment; | changeset | files |
| Thu, 10 Feb 2000 11:08:42 +0100 | paulson | new thm and simprule inv_id | changeset | files |
| Thu, 10 Feb 2000 11:03:54 +0100 | paulson | Cambridge-specific modifications | changeset | files |
| Wed, 09 Feb 2000 14:35:23 +0100 | wenzelm | mirror dist page; | changeset | files |