paulson [Mon, 28 Dec 1998 17:03:47 +0100] rev 6054
added new arg for print_tac
paulson [Mon, 28 Dec 1998 16:59:28 +0100] rev 6053
new inductive, datatype and primrec packages, etc.
paulson [Mon, 28 Dec 1998 16:58:11 +0100] rev 6052
revised datatype definition package
paulson [Mon, 28 Dec 1998 16:58:00 +0100] rev 6051
revised inductive definition package
paulson [Mon, 28 Dec 1998 16:57:38 +0100] rev 6050
new primrec package
paulson [Mon, 28 Dec 1998 16:57:02 +0100] rev 6049
moved from ZF to new subdirectory Tools
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