Fri, 16 Apr 2004 18:43:36 +0200 - tuned text function
berghofe [Fri, 16 Apr 2004 18:43:36 +0200] rev 14596
- tuned text function - Replaced quote by Library.quote, since quote now refers to Symbol.quote
Fri, 16 Apr 2004 18:42:02 +0200 Added variants of functions quote and commas_quote that allow escaping
berghofe [Fri, 16 Apr 2004 18:42:02 +0200] rev 14595
Added variants of functions quote and commas_quote that allow escaping of " in error messages etc. This is useful for PGIP output.
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!
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip