| 2009-11-08 | wenzelm | modernized structure Random_Word; | file | diff | annotate |
| 2007-12-22 | wenzelm | tuned RandomWord interface; | file | diff | annotate |
| 2007-12-19 | wenzelm | Random.range_real makes SML/NJ happy; | file | diff | annotate |
| 2007-12-19 | wenzelm | tuned RandomWord signature; | file | diff | annotate |
| 2007-12-19 | wenzelm | using RandomWord from Isabelle/Pure gains factor 10-20 speedup; | file | diff | annotate |
| 2007-11-13 | paulson | patching in the latest changes from Hurd | file | diff | annotate |
| 2007-08-18 | wenzelm | NAMED_CRITICAL; | file | diff | annotate |
| 2007-08-17 | wenzelm | added CRITICAL section markup; | file | diff | annotate |
| 2007-06-20 | wenzelm | The Metis prover (slightly modified version from Larry); | file | diff | annotate |