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 |