| Sun, 03 Jun 2007 23:16:50 +0200 | wenzelm | added downto0 (from library.ML); | changeset | files |
| Sun, 03 Jun 2007 23:16:49 +0200 | wenzelm | merge_ss: plain merge of prems; | changeset | files |
| Sun, 03 Jun 2007 23:16:48 +0200 | wenzelm | added flip (from General/basics.ML); | changeset | files |
| Sun, 03 Jun 2007 23:16:47 +0200 | wenzelm | tuned document; | changeset | files |
| Sun, 03 Jun 2007 23:16:46 +0200 | wenzelm | use antiquotations instead of raw TeX code; | changeset | files |
| Sun, 03 Jun 2007 23:16:45 +0200 | wenzelm | name_of_fqgar: precise type; | changeset | files |
| Sun, 03 Jun 2007 23:16:44 +0200 | wenzelm | added plural (from Pure/library.ML); | changeset | files |