| Mon, 28 Dec 1998 16:53:24 +0100 | paulson | fixed comment | changeset | files |
| Mon, 28 Dec 1998 16:52:51 +0100 | paulson | Needs separate theory Primrec_defs due to new inductive defs package | changeset | files |
| Mon, 28 Dec 1998 16:50:37 +0100 | paulson | more efficient strip_quotes using "substring" | changeset | files |
| Mon, 28 Dec 1998 16:50:11 +0100 | paulson | Basis Library compatible substring oeration | changeset | files |
| Mon, 28 Dec 1998 16:49:31 +0100 | paulson | Added a "message" argument to print_tac | changeset | files |
| Mon, 28 Dec 1998 16:48:59 +0100 | paulson | comments | changeset | files |
| Mon, 28 Dec 1998 16:48:22 +0100 | paulson | deleted "escape" and "trim"; Basis Library can do string escapes if necessary | changeset | files |