| Fri, 17 Jan 1997 11:13:18 +0100 | paulson | Added the prlim command | changeset | files |
| Fri, 17 Jan 1997 11:09:19 +0100 | paulson | New miniscoping rules for the bounded quantifiers and UN/INT operators | changeset | files |
| Fri, 17 Jan 1997 10:09:46 +0100 | nipkow | Got rid of Alls in List. | changeset | files |
| Fri, 17 Jan 1997 10:04:28 +0100 | nipkow | Got rid of Alls in favour of !x:set_of_list | changeset | files |
| Thu, 16 Jan 1997 16:53:15 +0100 | wenzelm | binary oprations and relations; | changeset | files |
| Thu, 16 Jan 1997 14:53:37 +0100 | wenzelm | added termless parameter; | changeset | files |
| Thu, 16 Jan 1997 13:44:47 +0100 | wenzelm | added term order; | changeset | files |
| Mon, 13 Jan 1997 18:24:40 +0100 | wenzelm | improved error msg; | changeset | files |
| Mon, 13 Jan 1997 18:20:35 +0100 | wenzelm | added datatype order; | changeset | files |
| Mon, 13 Jan 1997 13:20:32 +0100 | wenzelm | added -? option; | changeset | files |
| Mon, 13 Jan 1997 09:29:55 +0100 | wenzelm | replaced unit refs by 'stamp'; | changeset | files |
| Fri, 10 Jan 1997 10:27:57 +0100 | wenzelm | cleaned up (real changes next time); | changeset | files |
| Thu, 09 Jan 1997 17:16:50 +0100 | wenzelm | make all Isabelle systems afresh; | changeset | files |
| Thu, 09 Jan 1997 16:44:57 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 09 Jan 1997 16:01:34 +0100 | wenzelm | IsaMakefile for ZF; | changeset | files |
| Thu, 09 Jan 1997 10:23:39 +0100 | paulson | Tidying of proofs. New theorems are enterred immediately into the | changeset | files |
| Thu, 09 Jan 1997 10:22:42 +0100 | paulson | New theorem add_leE | changeset | files |
| Thu, 09 Jan 1997 10:22:11 +0100 | paulson | New treatment of nonce creation | changeset | files |
| Thu, 09 Jan 1997 10:20:03 +0100 | paulson | Removal of needless "addIs [equality]", etc. | changeset | files |
| Wed, 08 Jan 1997 15:17:25 +0100 | paulson | New discussion of implicit simpsets & clasets | changeset | files |
| Wed, 08 Jan 1997 15:12:44 +0100 | wenzelm | IsaMakefile for HOLCF; | changeset | files |
| Wed, 08 Jan 1997 15:04:27 +0100 | paulson | Removal of sum_cs and eq_cs | changeset | files |
| Wed, 08 Jan 1997 15:03:53 +0100 | wenzelm | IsaMakefile for Sequents; | changeset | files |
| Wed, 08 Jan 1997 14:58:39 +0100 | wenzelm | IsaMakefile for CTT; | changeset | files |
| Wed, 08 Jan 1997 14:49:46 +0100 | wenzelm | IsaMakefile for FOLP; | changeset | files |
| Wed, 08 Jan 1997 14:44:24 +0100 | wenzelm | IsaMakefile for CCL; | changeset | files |
| Wed, 08 Jan 1997 12:58:17 +0100 | wenzelm | IsaMakefile for LCF; | changeset | files |
| Wed, 08 Jan 1997 12:48:46 +0100 | wenzelm | IsaMakefile for Cube; | changeset | files |
| Wed, 08 Jan 1997 12:14:53 +0100 | paulson | Removed some (not all!) uses of FOL_cs | changeset | files |
| Tue, 07 Jan 1997 16:29:43 +0100 | paulson | Simplification of some proofs, especially by eliminating | changeset | files |
| Tue, 07 Jan 1997 16:28:43 +0100 | paulson | Incorporation of HPair into Message | changeset | files |
| Tue, 07 Jan 1997 12:42:48 +0100 | paulson | Default rewrite rules for quantification over Collect(A,P) | changeset | files |
| Tue, 07 Jan 1997 12:37:07 +0100 | paulson | Default rewrite rules for quantification over Collect(A,P) | changeset | files |
| Tue, 07 Jan 1997 10:19:43 +0100 | paulson | Now uses HPair | changeset | files |
| Tue, 07 Jan 1997 10:18:20 +0100 | paulson | Tidied up the unicity proofs | changeset | files |
| Tue, 07 Jan 1997 10:17:07 +0100 | paulson | Updated account of implicit simpsets and clasets | changeset | files |
| Tue, 07 Jan 1997 09:06:01 +0100 | wenzelm | added ISABELLE, ISATOOL; | changeset | files |
| Tue, 07 Jan 1997 09:05:26 +0100 | wenzelm | testdir: use dir without committing into database; | changeset | files |
| Tue, 07 Jan 1997 09:04:53 +0100 | wenzelm | added dvi viewer alternative; | changeset | files |
| Tue, 07 Jan 1997 09:03:53 +0100 | wenzelm | fixed cmp -s option; | changeset | files |
| Tue, 07 Jan 1997 09:01:52 +0100 | wenzelm | minor tuning; | changeset | files |
| Tue, 07 Jan 1997 09:01:18 +0100 | wenzelm | minor tuning; | changeset | files |
| Tue, 07 Jan 1997 09:00:26 +0100 | wenzelm | minor tuning; | changeset | files |
| Mon, 06 Jan 1997 17:02:09 +0100 | wenzelm | added stamp util; | changeset | files |
| Fri, 03 Jan 1997 15:25:51 +0100 | paulson | A definition of "print", unfortunately overridden by each "open PolyML" | changeset | files |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | changeset | files |
| Fri, 03 Jan 1997 10:48:28 +0100 | paulson | Added TFL | changeset | files |
| Fri, 03 Jan 1997 10:45:31 +0100 | paulson | Conversion to Basis Library (using prs instead of output) | changeset | files |
| Fri, 20 Dec 1996 16:10:30 +0100 | wenzelm | changed xterm geometry; | changeset | files |
| Fri, 20 Dec 1996 10:54:01 +0100 | oheimb | removed test | changeset | files |
| Fri, 20 Dec 1996 10:49:38 +0100 | oheimb | testing... | changeset | files |
| Fri, 20 Dec 1996 10:48:49 +0100 | sandnerr | testing cvs merge algorithm, 2nd | changeset | files |
| Fri, 20 Dec 1996 10:48:05 +0100 | oheimb | testing... | changeset | files |
| Fri, 20 Dec 1996 10:45:08 +0100 | sandnerr | testing cvs merge algorithm | changeset | files |
| Fri, 20 Dec 1996 10:39:44 +0100 | oheimb | testing... | changeset | files |
| Fri, 20 Dec 1996 10:37:57 +0100 | oheimb | testing: last line w/o nl | changeset | files |
| Fri, 20 Dec 1996 10:33:54 +0100 | oheimb | testing: last line w/o nl | changeset | files |
| Fri, 20 Dec 1996 10:32:37 +0100 | oheimb | testing... | changeset | files |
| Fri, 20 Dec 1996 10:32:09 +0100 | oheimb | testing cvs update | changeset | files |
| Fri, 20 Dec 1996 10:25:26 +0100 | paulson | Simplification and generalization of the guarantees. | changeset | files |