| Wed, 20 Mar 2013 14:56:30 +0100 | kleing | soundness statement as in type system | changeset | files |
| Wed, 20 Mar 2013 11:32:16 +0100 | kleing | add label for referencing in semantics book | changeset | files |
| Wed, 20 Mar 2013 11:16:31 +0100 | nipkow | tuned | changeset | files |
| Tue, 19 Mar 2013 21:35:15 +0100 | nipkow | get rid of xcolor warnings | changeset | files |
| Tue, 19 Mar 2013 15:59:58 +0100 | traytel | extended stream library | changeset | files |
| Tue, 19 Mar 2013 14:04:53 +0100 | kleing | export datatype definition which gets expanded too much in antiquotation | changeset | files |
| Tue, 19 Mar 2013 14:07:13 +0100 | nipkow | tuned | changeset | files |
| Tue, 19 Mar 2013 13:19:21 +0100 | Andreas Lochbihler | add induction rule for partial_function (tailrec) | changeset | files |