| Mon, 21 Jan 2002 22:27:34 +0100 | wenzelm | full_proofs; | file | diff | annotate |
| Wed, 16 Jan 2002 21:01:08 +0100 | wenzelm | tuned title; | file | diff | annotate |
| Wed, 16 Jan 2002 20:57:02 +0100 | wenzelm | Interface/proof_general.ML move to proof_general.ML; | file | diff | annotate |