| Fri, 07 Jan 2000 11:00:56 +0100 | paulson | new theorem leadsTo_refl and induction rule leadsTo_induct_pre | file | diff | annotate |
| Tue, 30 Nov 1999 16:54:10 +0100 | paulson | working version with new theory ELT | file | diff | annotate |
| Thu, 28 Oct 1999 16:06:07 +0200 | paulson | simplified the stable_completion proofs | file | diff | annotate |
| Mon, 11 Oct 1999 10:53:39 +0200 | paulson | working shapshot with "projecting" and "extending" | file | diff | annotate |
| Fri, 24 Sep 1999 16:33:57 +0200 | paulson | working version with co-guarantees-leadsto results | file | diff | annotate |
| Wed, 08 Sep 1999 16:43:26 +0200 | paulson | tidied | file | diff | annotate |
| Tue, 08 Jun 1999 10:59:02 +0200 | paulson | renamed the underlying relation of leadsTo from "leadsto" | file | diff | annotate |
| Mon, 24 May 1999 15:51:33 +0200 | paulson | new rule single_leadsTo_I; stronger PSP rule | file | diff | annotate |
| Mon, 03 May 1999 11:18:11 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 29 Apr 1999 10:51:58 +0200 | paulson | made many specification operators infix | file | diff | annotate |
| Mon, 01 Mar 1999 18:38:43 +0100 | paulson | removed the infernal States, eqStates, compatible, etc. | file | diff | annotate |
| Thu, 03 Dec 1998 10:45:06 +0100 | paulson | Addition of the States component; parts of Comp not working | file | diff | annotate |
| Wed, 25 Nov 1998 15:54:41 +0100 | paulson | simplified ensures_UNIV | file | diff | annotate |
| Mon, 19 Oct 1998 11:26:46 +0200 | paulson | added Clarify_tac to speed up proofs | file | diff | annotate |
| Thu, 15 Oct 1998 11:35:07 +0200 | paulson | specifications as sets of programs | file | diff | annotate |
| Tue, 13 Oct 1998 11:05:34 +0200 | paulson | new theorems | file | diff | annotate |
| Wed, 07 Oct 1998 10:32:00 +0200 | paulson | tidying and renaming | file | diff | annotate |
| Fri, 02 Oct 1998 14:28:39 +0200 | nipkow | id <-> Id | file | diff | annotate |
| Wed, 23 Sep 1998 10:11:18 +0200 | paulson | tidying and deleting needless parentheses | file | diff | annotate |
| Mon, 21 Sep 1998 23:12:31 +0200 | oheimb | added wrapper for bspec | file | diff | annotate |
| Tue, 15 Sep 1998 15:04:07 +0200 | paulson | From Compl(A) to -A | file | diff | annotate |
| Fri, 11 Sep 1998 16:25:40 +0200 | paulson | fixed PROOF FAILED | file | diff | annotate |
| Thu, 10 Sep 1998 17:27:15 +0200 | paulson | tidied | file | diff | annotate |
| Wed, 19 Aug 1998 10:34:31 +0200 | paulson | Misc changes | file | diff | annotate |
| Thu, 06 Aug 1998 15:47:26 +0200 | paulson | A higher-level treatment of LeadsTo, minimizing use of "reachable" | file | diff | annotate |
| Wed, 05 Aug 1998 18:20:25 +0200 | paulson | Indentation, comments | file | diff | annotate |
| Wed, 05 Aug 1998 10:57:25 +0200 | paulson | New record type of programs | file | diff | annotate |
| Tue, 04 Aug 1998 10:50:04 +0200 | paulson | Tidying | file | diff | annotate |
| Fri, 31 Jul 1998 18:46:55 +0200 | paulson | Tidied; uses records | file | diff | annotate |
| Thu, 02 Jul 1998 16:53:55 +0200 | paulson | Uncurried functions LeadsTo and reach | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Fri, 03 Apr 1998 12:34:33 +0200 | paulson | New UNITY theory | file | diff | annotate |