Mon, 26 Mar 2012 12:36:03 +0200 | Cezary Kaliszyk | qpaper-jv add a section about descending etc | changeset | files |
Wed, 21 Mar 2012 20:34:04 +0000 | Christian Urban | slight tuning of Q-paper-jv | changeset | files |
Tue, 20 Mar 2012 11:26:10 +0000 | Christian Urban | updated to new Isabelle (20 March) | changeset | files |