| Sat, 16 Jan 2010 17:15:27 +0100 | haftmann | modernized syntax | changeset | files |
| Wed, 20 Jan 2010 11:54:19 +0100 | blanchet | fix issues with previous Nitpick change | changeset | files |
| Wed, 20 Jan 2010 10:38:19 +0100 | blanchet | merged | changeset | files |
| Wed, 20 Jan 2010 10:38:06 +0100 | blanchet | some work on Nitpick's support for quotient types; | changeset | files |
| Thu, 14 Jan 2010 17:06:35 +0100 | blanchet | removed the Nitpick code that loaded the "Nitpick" theory explicitly if it's not already loaded, because this didn't work properly and is of doubtful value | changeset | files |
| Tue, 19 Jan 2010 17:53:11 +0100 | hoelzl | Added transpose_rectangle, when the input list is rectangular. | changeset | files |
| Tue, 19 Jan 2010 16:52:01 +0100 | hoelzl | Add transpose to the List-theory. | changeset | files |