Wed, 03 Jan 2001 11:13:51 +0100 | paulson | Types chapter now uses HOL-Real | changeset | files |
Wed, 03 Jan 2001 11:13:13 +0100 | paulson | some HOL-Real material | changeset | files |
Tue, 02 Jan 2001 22:41:17 +0100 | oheimb | added type annotation to Call | changeset | files |