Mon, 28 Dec 1998 16:47:21 +0100 better indentation
paulson [Mon, 28 Dec 1998 16:47:21 +0100] rev 6037
better indentation
Mon, 28 Dec 1998 16:46:44 +0100 fixed comments
paulson [Mon, 28 Dec 1998 16:46:44 +0100] rev 6036
fixed comments
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
Fri, 18 Dec 1998 11:00:46 +0100 moved dest_eq to hologic.ML and tidied
paulson [Fri, 18 Dec 1998 11:00:46 +0100] rev 6032
moved dest_eq to hologic.ML and tidied
Fri, 18 Dec 1998 11:00:15 +0100 new function dest_eq
paulson [Fri, 18 Dec 1998 11:00:15 +0100] rev 6031
new function dest_eq
Thu, 17 Dec 1998 17:45:51 +0100 tuned mode_name;
wenzelm [Thu, 17 Dec 1998 17:45:51 +0100] rev 6030
tuned mode_name;
Thu, 17 Dec 1998 17:41:32 +0100 bash -c :;
wenzelm [Thu, 17 Dec 1998 17:41:32 +0100] rev 6029
bash -c :;
Fri, 11 Dec 1998 18:57:00 +0100 *** empty log message ***
oheimb [Fri, 11 Dec 1998 18:57:00 +0100] rev 6028
*** empty log message ***
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip