| Fri, 16 Apr 2004 18:47:00 +0200 | berghofe | Replaced quote by Pretty.quote. | changeset | files |
| Fri, 16 Apr 2004 18:45:56 +0200 | berghofe | Replaced quote by Library.quote, since quote now refers to Symbol.quote | changeset | files |
| Fri, 16 Apr 2004 18:44:39 +0200 | berghofe | Added translate function to String structure. | changeset | files |
| Fri, 16 Apr 2004 18:43:36 +0200 | berghofe | - tuned text function | changeset | files |
| Fri, 16 Apr 2004 18:42:02 +0200 | berghofe | Added variants of functions quote and commas_quote that allow escaping | changeset | files |
| Fri, 16 Apr 2004 18:40:21 +0200 | berghofe | Moved symbol.ML to front of file list (due to quote function). | changeset | files |
| Fri, 16 Apr 2004 18:30:51 +0200 | obua | first version of matrices for HOL/Isabelle | changeset | files |