Wed, 22 Feb 2012 12:10:17 +0000 | Christian Urban | slight polish of the qpaper-jv | changeset | files |
Tue, 28 Feb 2012 15:13:42 +0100 | Cezary Kaliszyk | Update to the localized quotient package | changeset | files |
Fri, 17 Feb 2012 15:23:38 +0100 | Cezary Kaliszyk | Update from Isabelle Wed Feb 15 23:19:30 | changeset | files |