| Wed, 30 Jun 1999 16:00:06 +0200 | wenzelm | antisym first; | changeset | files |
| Wed, 30 Jun 1999 13:42:47 +0200 | wenzelm | more robust trans rules; | changeset | files |
| Wed, 30 Jun 1999 12:24:32 +0200 | wenzelm | Isar.sync_main; | changeset | files |
| Wed, 30 Jun 1999 12:23:46 +0200 | wenzelm | added sync; | changeset | files |
| Wed, 30 Jun 1999 12:23:34 +0200 | wenzelm | sync token; | changeset | files |
| Wed, 30 Jun 1999 12:22:45 +0200 | wenzelm | sync; | changeset | files |
| Wed, 30 Jun 1999 12:22:31 +0200 | wenzelm | added sync marker; | changeset | files |
| Wed, 30 Jun 1999 09:47:16 +0200 | nipkow | New thm trancl_trans_induct | changeset | files |
| Tue, 29 Jun 1999 11:58:21 +0200 | nipkow | Bad translation fixed. | changeset | files |
| Mon, 28 Jun 1999 23:05:19 +0200 | wenzelm | updated; | changeset | files |
| Mon, 28 Jun 1999 23:02:38 +0200 | wenzelm | improved RANGE; | changeset | files |
| Mon, 28 Jun 1999 23:02:03 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 28 Jun 1999 21:48:36 +0200 | wenzelm | cond_extern_table; | changeset | files |
| Mon, 28 Jun 1999 21:47:55 +0200 | wenzelm | added presume command; | changeset | files |
| Mon, 28 Jun 1999 21:47:04 +0200 | wenzelm | cond_extern_table; | changeset | files |
| Mon, 28 Jun 1999 21:46:33 +0200 | wenzelm | tuned print_state; | changeset | files |
| Mon, 28 Jun 1999 21:44:19 +0200 | wenzelm | tuned output: print_context replaced by strings_of_context; | changeset | files |
| Mon, 28 Jun 1999 21:41:02 +0200 | wenzelm | cond_extern_table; | changeset | files |
| Mon, 28 Jun 1999 21:38:50 +0200 | wenzelm | added cond_extern_table; | changeset | files |
| Fri, 25 Jun 1999 13:37:51 +0200 | wenzelm | branching_level = 400; | changeset | files |
| Wed, 23 Jun 1999 10:40:13 +0200 | paulson | tidied | changeset | files |
| Wed, 23 Jun 1999 10:39:35 +0200 | paulson | renamed PPI to plam | changeset | files |
| Wed, 23 Jun 1999 10:38:49 +0200 | paulson | renamed PPI to plam | changeset | files |
| Wed, 23 Jun 1999 10:38:09 +0200 | paulson | another non-working snapshot | changeset | files |