Wed, 07 Oct 1998 10:31:07 +0200 | paulson | tidied | changeset | files |
Wed, 07 Oct 1998 10:30:47 +0200 | paulson | new files UNITY/Comp.{thy,ML} | changeset | files |
Tue, 06 Oct 1998 14:39:53 +0200 | nipkow | Merges FoldSet into Finite | changeset | files |
Mon, 05 Oct 1998 10:33:34 +0200 | paulson | deleted incorrect code that set Goals.proof_timing:=false | changeset | files |
Mon, 05 Oct 1998 10:31:43 +0200 | paulson | Now prove_goalw_cterm never prints timing statistics | changeset | files |
Mon, 05 Oct 1998 10:30:57 +0200 | paulson | MLWorks demands the "op" before $ | changeset | files |
Mon, 05 Oct 1998 10:27:04 +0200 | paulson | Finished proofs to end of section 5.1 of Chandy and Sanders | changeset | files |