| Fri, 23 Dec 2005 15:16:46 +0100 | wenzelm | Thm.compose_no_flatten; | file | diff | annotate |
| Thu, 22 Dec 2005 00:29:18 +0100 | wenzelm | conclude/SELECT: Thm.bicompose_no_flatten avoids unsolicited modification of result; | file | diff | annotate |
| Fri, 25 Nov 2005 18:58:38 +0100 | wenzelm | tuned names; | file | diff | annotate |
| Sat, 19 Nov 2005 14:21:04 +0100 | wenzelm | tuned norm_hhf_protected; | file | diff | annotate |
| Wed, 16 Nov 2005 17:45:26 +0100 | wenzelm | norm_hhf: no normalization of protected props; | file | diff | annotate |
| 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 |