| 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 |
| Tue, 02 Feb 2010 21:37:27 +0100 | wenzelm | some examples for basic context operations; | changeset | files |
| Tue, 02 Feb 2010 13:22:36 +0100 | wenzelm | minimal tuning of this slightly dated material; | changeset | files |