Mon, 19 Jan 2009 23:29:44 +0100 | wenzelm | joined Document with ProofDocument; | changeset | files |
Mon, 19 Jan 2009 21:58:38 +0100 | wenzelm | eliminated explicit method equals, which is always behind == / != anyway in Scala; | changeset | files |
Mon, 19 Jan 2009 21:38:50 +0100 | wenzelm | superficial tuning; | changeset | files |