| Fri, 29 Jun 2007 18:21:25 +0200 | paulson | bug fixes to proof reconstruction | file | diff | annotate |
| Thu, 31 May 2007 01:25:24 +0200 | wenzelm | TextIO.inputLine: use present SML B library version; | file | diff | annotate |
| Wed, 23 May 2007 14:52:12 +0200 | paulson | formatting | file | diff | annotate |
| Thu, 19 Apr 2007 18:23:11 +0200 | paulson | trying to make single-step proofs work better, especially if they contain | file | diff | annotate |
| Wed, 18 Apr 2007 21:30:14 +0200 | wenzelm | simplified ProofContext.infer_types(_pats); | file | diff | annotate |
| Sun, 15 Apr 2007 14:31:49 +0200 | wenzelm | proper ProofContext.infer_types; | file | diff | annotate |
| Thu, 29 Mar 2007 11:12:03 +0200 | paulson | Now checks for types-only clause before outputting. | file | diff | annotate |