Fri, 16 Apr 2004 18:40:21 +0200 Moved symbol.ML to front of file list (due to quote function).
berghofe [Fri, 16 Apr 2004 18:40:21 +0200] rev 14594
Moved symbol.ML to front of file list (due to quote function).
Fri, 16 Apr 2004 18:30:51 +0200 first version of matrices for HOL/Isabelle
obua [Fri, 16 Apr 2004 18:30:51 +0200] rev 14593
first version of matrices for HOL/Isabelle
Fri, 16 Apr 2004 18:09:24 +0200 Added theory with examples for quickcheck command.
berghofe [Fri, 16 Apr 2004 18:09:24 +0200] rev 14592
Added theory with examples for quickcheck command.
Fri, 16 Apr 2004 15:46:50 +0200 lemma drop_Suc_conv_tl added.
mehta [Fri, 16 Apr 2004 15:46:50 +0200] rev 14591
lemma drop_Suc_conv_tl added.
Fri, 16 Apr 2004 13:52:43 +0200 simplified ML code for setsubgoaler;
wenzelm [Fri, 16 Apr 2004 13:52:43 +0200] rev 14590
simplified ML code for setsubgoaler;
Fri, 16 Apr 2004 13:51:04 +0200 tuned document;
wenzelm [Fri, 16 Apr 2004 13:51:04 +0200] rev 14589
tuned document;
Fri, 16 Apr 2004 12:09:31 +0200 add locales
kleing [Fri, 16 Apr 2004 12:09:31 +0200] rev 14588
add locales
Fri, 16 Apr 2004 12:07:01 +0200 Zur Freude von Sebastian Skalberg!
ballarin [Fri, 16 Apr 2004 12:07:01 +0200] rev 14587
Zur Freude von Sebastian Skalberg!
Fri, 16 Apr 2004 11:35:44 +0200 Added Locales Tutorial.
ballarin [Fri, 16 Apr 2004 11:35:44 +0200] rev 14586
Added Locales Tutorial.
Fri, 16 Apr 2004 10:23:47 +0200 say how to install PG and poly
kleing [Fri, 16 Apr 2004 10:23:47 +0200] rev 14585
say how to install PG and poly
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip