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
Mon, 08 May 2000 16:59:02 +0200 tidied
paulson [Mon, 08 May 2000 16:59:02 +0200] rev 8835
tidied
Mon, 08 May 2000 16:58:44 +0200 better simplification of the result of simprocs
paulson [Mon, 08 May 2000 16:58:44 +0200] rev 8834
better simplification of the result of simprocs
Mon, 08 May 2000 16:58:18 +0200 moved le_square, proved le_cube
paulson [Mon, 08 May 2000 16:58:18 +0200] rev 8833
moved le_square, proved le_cube
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip