Thu, 07 Nov 2002 09:08:25 +0100 | nipkow | added show_main_goal | changeset | files |
Wed, 06 Nov 2002 14:02:18 +0100 | nipkow | Hoare.ML -> hoare.ML | changeset | files |
Wed, 06 Nov 2002 14:01:38 +0100 | nipkow | a new pointer example and some syntactic sugar | changeset | files |