| Thu, 08 Aug 2002 23:42:49 +0200 | wenzelm | Tactic.prove, Tactic.prove_standard; | file | diff | annotate |
| Tue, 30 May 2000 16:00:55 +0200 | wenzelm | proof_timing replaced by global timing; | file | diff | annotate |
| Fri, 26 May 2000 11:17:53 +0200 | paulson | fixed the documentation of goalw_cterm and prove_goalw_cterm | file | diff | annotate |
| Thu, 25 May 2000 15:11:32 +0200 | paulson | better indentation | file | diff | annotate |
| Tue, 18 Jan 2000 11:33:31 +0100 | paulson | fixed many bad line & page breaks | file | diff | annotate |
| Sun, 31 Oct 1999 20:11:23 +0100 | wenzelm | updated; | file | diff | annotate |
| Fri, 08 Oct 1999 16:16:51 +0200 | wenzelm | theorem database now also indexes constants "Trueprop", "all", | file | diff | annotate |