| Thu, 20 Dec 2007 14:33:41 +0100 | wenzelm | removed obsolete (slow!) Random implementation; | changeset | files |
| Thu, 20 Dec 2007 14:33:40 +0100 | wenzelm | moved Pure/General/random_word.ML to Tools/random_word.ML; | changeset | files |
| Thu, 20 Dec 2007 13:58:45 +0100 | wenzelm | adapted theory name; | changeset | files |