Wed, 05 May 2010 23:09:34 +0200 | wenzelm | simplified via Position extractors; | changeset | files |
Wed, 05 May 2010 22:23:45 +0200 | wenzelm | some rearrangement of Scala sources; | changeset | files |
Wed, 05 May 2010 15:30:01 +0200 | Cezary Kaliszyk | fminus and some more theorems ported from Finite_Set. | changeset | files |