| Sun, 03 Jun 2007 23:16:52 +0200 | wenzelm | added CSUBGOAL; | changeset | files |
| Sun, 03 Jun 2007 23:16:51 +0200 | wenzelm | cleaned up signature; | changeset | files |
| 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 |