| 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 |
| Wed, 05 May 2010 09:24:42 +0200 | haftmann | eq_morphism is always optional: avoid trivial morphism for empty list of equations | changeset | files |
| Wed, 05 May 2010 09:24:41 +0200 | haftmann | tuned whitespace | changeset | files |
| Wed, 05 May 2010 08:57:23 +0200 | haftmann | tuned interpunctation, dropped dead comment | changeset | files |
| Tue, 04 May 2010 21:04:04 -0700 | huffman | merged | changeset | files |
| Tue, 04 May 2010 21:03:50 -0700 | huffman | avoid using '...' with LIMSEQ (cf. 1cc4ab4b7ff7) | changeset | files |