Tue, 09 May 2000 15:10:25 +0200 updated keywords;
wenzelm [Tue, 09 May 2000 15:10:25 +0200] rev 8845
updated keywords;
Tue, 09 May 2000 14:33:43 +0200 named "op ^" definitions;
wenzelm [Tue, 09 May 2000 14:33:43 +0200] rev 8844
named "op ^" definitions;
Tue, 09 May 2000 14:16:32 +0200 improved X-Symbol stuff;
wenzelm [Tue, 09 May 2000 14:16:32 +0200] rev 8843
improved X-Symbol stuff;
Tue, 09 May 2000 11:29:13 +0200 more examples
paulson [Tue, 09 May 2000 11:29:13 +0200] rev 8842
more examples
Mon, 08 May 2000 21:00:27 +0200 added INSTALL;
wenzelm [Mon, 08 May 2000 21:00:27 +0200] rev 8841
added INSTALL;
Mon, 08 May 2000 20:59:30 +0200 moved theory Sexp to Induct examples;
wenzelm [Mon, 08 May 2000 20:59:30 +0200] rev 8840
moved theory Sexp to Induct examples;
Mon, 08 May 2000 20:58:49 +0200 strip = impI allI allI;
wenzelm [Mon, 08 May 2000 20:58:49 +0200] rev 8839
strip = impI allI allI;
Mon, 08 May 2000 20:57:02 +0200 replaced rabs by overloaded abs;
wenzelm [Mon, 08 May 2000 20:57:02 +0200] rev 8838
replaced rabs by overloaded abs;
Mon, 08 May 2000 18:20:04 +0200 yet another example
paulson [Mon, 08 May 2000 18:20:04 +0200] rev 8837
yet another example
Mon, 08 May 2000 16:59:18 +0200 new example
paulson [Mon, 08 May 2000 16:59:18 +0200] rev 8836
new example
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip