isabelle: Changelog

paulson [Mon, 28 Dec 1998 16:56:07 +0100] rev 6048

new theorem update_type

paulson [Mon, 28 Dec 1998 16:54:53 +0100] rev 6047

converted to use new primrec section and update operator

paulson [Mon, 28 Dec 1998 16:54:01 +0100] rev 6046

converted to use new primrec section

paulson [Mon, 28 Dec 1998 16:53:24 +0100] rev 6045

fixed comment

paulson [Mon, 28 Dec 1998 16:52:51 +0100] rev 6044

Needs separate theory Primrec_defs due to new inductive defs package

paulson [Mon, 28 Dec 1998 16:50:37 +0100] rev 6043

more efficient strip_quotes using "substring"

paulson [Mon, 28 Dec 1998 16:50:11 +0100] rev 6042

Basis Library compatible substring oeration

paulson [Mon, 28 Dec 1998 16:49:31 +0100] rev 6041

Added a "message" argument to print_tac

paulson [Mon, 28 Dec 1998 16:48:59 +0100] rev 6040

comments

paulson [Mon, 28 Dec 1998 16:48:22 +0100] rev 6039

deleted "escape" and "trim"; Basis Library can do string escapes if necessary

isabelle