Fri, 06 Aug 1999 17:29:18 +0200 | paulson | re-organization of theorems from Alloc and PPROD, partly into new theory | file | diff | annotate |
Wed, 23 Jun 1999 10:39:35 +0200 | paulson | renamed PPI to plam | file | diff | annotate |
Thu, 17 Jun 1999 10:39:30 +0200 | paulson | addition of drop_... operators with new results and simplification of old ones | file | diff | annotate |
Mon, 01 Mar 1999 18:38:43 +0100 | paulson | removed the infernal States, eqStates, compatible, etc. | file | diff | annotate |
Mon, 07 Dec 1998 18:26:46 +0100 | paulson | towards handling sharing of variables | 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:55:00 +0100 | paulson | guarantees laws | file | diff | annotate |
Mon, 16 Nov 1998 13:58:56 +0100 | paulson | new theory PPROD | file | diff | annotate |