| Thu, 26 Jul 2012 19:08:14 +0200 | wenzelm | avoid clash of Misc/pairs.thy and Types/Pairs.thy on case-insensible file-system; | changeset | files |
| Thu, 26 Jul 2012 19:07:28 +0200 | wenzelm | proper input; | changeset | files |
| Thu, 26 Jul 2012 18:55:42 +0200 | wenzelm | recovered latex job; | changeset | files |