Thu, 10 Nov 2005 20:57:11 +0100 | wenzelm | renamed Thm.cgoal_of to Thm.cprem_of; | file | diff | annotate |
Wed, 09 Nov 2005 16:26:54 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 08 Nov 2005 10:43:10 +0100 | wenzelm | export compose_hhf; | file | diff | annotate |
Fri, 28 Oct 2005 22:27:55 +0200 | wenzelm | renamed Goal constant to prop, more general protect/unprotect interfaces; | file | diff | annotate |
Tue, 25 Oct 2005 18:18:57 +0200 | wenzelm | prove_raw: cterms, explicit asms; | file | diff | annotate |
Fri, 21 Oct 2005 18:20:29 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 21 Oct 2005 18:15:00 +0200 | wenzelm | Internal goals. | file | diff | annotate |