| Tue, 03 Aug 1999 13:05:54 +0200 | paulson | \underscoreoff needed because of \underscoreon in previous file | changeset | files |
| Tue, 03 Aug 1999 13:05:13 +0200 | paulson | new variables for SVC | changeset | files |
| Tue, 03 Aug 1999 13:04:50 +0200 | paulson | SVC | changeset | files |
| Mon, 02 Aug 1999 18:10:26 +0200 | wenzelm | fixed Blast_Data; | changeset | files |
| Mon, 02 Aug 1999 17:59:25 +0200 | wenzelm | blast method: optional depth argument; | changeset | files |
| Mon, 02 Aug 1999 17:59:06 +0200 | wenzelm | export cla_meth('); | changeset | files |
| Mon, 02 Aug 1999 17:58:46 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 02 Aug 1999 17:58:23 +0200 | wenzelm | tuned outer syntax; | changeset | files |
| Mon, 02 Aug 1999 17:58:00 +0200 | wenzelm | handle LIST _; | changeset | files |
| Mon, 02 Aug 1999 15:40:30 +0200 | wenzelm | cat_lines; | changeset | files |
| Mon, 02 Aug 1999 15:39:23 +0200 | wenzelm | provide String structure; | changeset | files |
| Mon, 02 Aug 1999 15:39:04 +0200 | wenzelm | removed obsolete concat; | changeset | files |
| Mon, 02 Aug 1999 11:33:18 +0200 | paulson | String.isPrefix | changeset | files |
| Mon, 02 Aug 1999 11:31:04 +0200 | paulson | long-overdue updating | changeset | files |
| Mon, 02 Aug 1999 11:29:13 +0200 | paulson | new files for the SVC link-up | changeset | files |
| Mon, 02 Aug 1999 11:26:43 +0200 | paulson | the SVC oracle theory | changeset | files |
| Mon, 02 Aug 1999 11:24:30 +0200 | paulson | the SVC link-up | changeset | files |
| Mon, 02 Aug 1999 11:24:01 +0200 | paulson | new files for the SVC link-up | changeset | files |
| Fri, 30 Jul 1999 18:27:25 +0200 | wenzelm | even more stuff; | changeset | files |
| Fri, 30 Jul 1999 15:59:00 +0200 | wenzelm | oracle: '='; | changeset | files |
| Fri, 30 Jul 1999 15:57:50 +0200 | wenzelm | added \text; | changeset | files |
| Fri, 30 Jul 1999 15:57:27 +0200 | wenzelm | Isabelle/Isar macros; | changeset | files |
| Fri, 30 Jul 1999 15:56:58 +0200 | wenzelm | hacking the rail package; | changeset | files |
| Fri, 30 Jul 1999 15:56:33 +0200 | wenzelm | added update_thy_only; | changeset | files |
| Fri, 30 Jul 1999 15:40:54 +0200 | wenzelm | more; | changeset | files |
| Fri, 30 Jul 1999 14:59:32 +0200 | wenzelm | more stuff; | changeset | files |
| Fri, 30 Jul 1999 13:44:29 +0200 | wenzelm | renamed 'same' to '-'; | changeset | files |
| Fri, 30 Jul 1999 13:43:26 +0200 | wenzelm | eliminated METHOD0 in favour of same_tac; | changeset | files |
| Fri, 30 Jul 1999 13:42:57 +0200 | wenzelm | 'arith' proof method; | changeset | files |
| Fri, 30 Jul 1999 13:41:43 +0200 | wenzelm | added erule; | changeset | files |