| Wed, 19 Dec 2007 23:49:28 +0100 | wenzelm | tuned comments; | changeset | files |
| Wed, 19 Dec 2007 23:42:20 +0100 | wenzelm | tuned RandomWord signature; | changeset | files |
| Wed, 19 Dec 2007 23:10:17 +0100 | wenzelm | removed strange MacRoman character; | changeset | files |
| Wed, 19 Dec 2007 23:06:16 +0100 | wenzelm | using RandomWord from Isabelle/Pure gains factor 10-20 speedup; | changeset | files |