| 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 |