berghofe [Fri, 16 Apr 2004 18:44:39 +0200] rev 14597
Added translate function to String structure.
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
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.
berghofe [Fri, 16 Apr 2004 18:40:21 +0200] rev 14594
Moved symbol.ML to front of file list (due to quote function).
obua [Fri, 16 Apr 2004 18:30:51 +0200] rev 14593
first version of matrices for HOL/Isabelle
berghofe [Fri, 16 Apr 2004 18:09:24 +0200] rev 14592
Added theory with examples for quickcheck command.
mehta [Fri, 16 Apr 2004 15:46:50 +0200] rev 14591
lemma drop_Suc_conv_tl added.
wenzelm [Fri, 16 Apr 2004 13:52:43 +0200] rev 14590
simplified ML code for setsubgoaler;
wenzelm [Fri, 16 Apr 2004 13:51:04 +0200] rev 14589
tuned document;
kleing [Fri, 16 Apr 2004 12:09:31 +0200] rev 14588
add locales