Mon, 28 Dec 1998 16:46:15 +0100 replaced obsolete "trim" by "strip_quotes"
paulson [Mon, 28 Dec 1998 16:46:15 +0100] rev 6035
replaced obsolete "trim" by "strip_quotes"
Fri, 18 Dec 1998 19:43:10 +0100 Link to HOLCF paper added.
nipkow [Fri, 18 Dec 1998 19:43:10 +0100] rev 6034
Link to HOLCF paper added.
Fri, 18 Dec 1998 11:01:25 +0100 moved dest_Type to term.ML from HOL/Tools/primrec_package
paulson [Fri, 18 Dec 1998 11:01:25 +0100] rev 6033
moved dest_Type to term.ML from HOL/Tools/primrec_package
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip