lcp [Thu, 18 Aug 1994 11:40:54 +0200] rev 106
HOL/Subst/AList: swapped args of split and simplified
lcp [Thu, 18 Aug 1994 11:30:27 +0200] rev 105
HOL/LList: swapped args of split and simplified
HOL/List: rotated arguments of List_case, list_case
HOL/LList: rotated arguments of llist_case (shares List_case) and tidied
many proofs
nipkow [Tue, 16 Aug 1994 09:57:51 +0200] rev 104
allow long_id for reference to type in primrec.
Doesn't work yet, though, because of problems with the autoloader.
nipkow [Mon, 15 Aug 1994 15:20:34 +0200] rev 103
Cleaned up code.
nipkow [Sat, 13 Aug 1994 16:34:30 +0200] rev 102
Used the new primitive recursive functions format for thy-files
nipkow [Sat, 13 Aug 1994 16:33:53 +0200] rev 101
Added primitive recursive functions (Norbert Voelker's code) to the datatype
package.
nipkow [Wed, 03 Aug 1994 11:00:40 +0200] rev 100
renamed meta_obj_reflection meta_eq_to_obj_eq.
nipkow [Tue, 02 Aug 1994 16:43:39 +0200] rev 99
exposed meta_obj_reflection
lcp [Wed, 27 Jul 1994 19:08:40 +0200] rev 98
added a new example due to Robin Arthan
lcp [Thu, 21 Jul 1994 10:52:00 +0200] rev 97
HOL/Makefile: now test depends upon SUBST_FILES
HOL/Makefile/SUBST_FILES: changed some filenames to upper case
HOL/Makefile: now executes ex/ROOT.ML after Subst/ROOT.ML