| Thu, 21 Mar 2013 10:05:03 +0100 | nipkow | proofs depend only on constraints, not on def of L WHILE | changeset | files |
| Wed, 20 Mar 2013 15:35:35 +0100 | blanchet | use the right role for SPASS hypotheses | changeset | files |
| 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 |