Mon, 03 Nov 1997 12:04:38 +0100 HOL theory data.
wenzelm [Mon, 03 Nov 1997 12:04:38 +0100] rev 4082
HOL theory data.
Mon, 03 Nov 1997 12:03:13 +0100 added thy_data.ML;
wenzelm [Mon, 03 Nov 1997 12:03:13 +0100] rev 4081
added thy_data.ML;
Mon, 03 Nov 1997 11:56:53 +0100 new implicit simpset mechanism based on Sign.sg anytype data;
wenzelm [Mon, 03 Nov 1997 11:56:53 +0100] rev 4080
new implicit simpset mechanism based on Sign.sg anytype data;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip