Wed, 25 Aug 1999 10:58:08 +0200 | paulson | project constants | changeset | files |
Wed, 25 Aug 1999 10:57:06 +0200 | paulson | many "project" laws | changeset | files |
Wed, 25 Aug 1999 10:55:02 +0200 | paulson | new guarantees laws; also better natural deduction style for old ones | changeset | files |