| Wed, 25 Aug 1999 17:11:42 +0200 | wenzelm | hide private parts; | changeset | files |
| Wed, 25 Aug 1999 11:09:24 +0200 | paulson | another snapshot | changeset | files |
| Wed, 25 Aug 1999 11:04:28 +0200 | paulson | arguably clearer definition of the inductive case of | changeset | files |
| Wed, 25 Aug 1999 11:02:37 +0200 | paulson | tidied | changeset | files |
| Wed, 25 Aug 1999 11:01:09 +0200 | paulson | new guarantees laws; also better natural deduction style for old ones | changeset | files |
| Wed, 25 Aug 1999 10:59:32 +0200 | paulson | renamed some theorems; also better natural deduction style for old ones | changeset | files |
| 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 |