Fri, 21 Jan 2011 22:23:44 +0100 | Christian Urban | separated type preservation and progress into a separate file | changeset | files |
Fri, 21 Jan 2011 22:02:34 +0100 | Christian Urban | substitution lemma in separate file | changeset | files |
Fri, 21 Jan 2011 21:58:51 +0100 | Christian Urban | added unbind example | changeset | files |
Fri, 21 Jan 2011 00:55:28 +0100 | Christian Urban | a bit tuning | changeset | files |