Wed, 13 Mar 2013 17:15:25 +0100 | wenzelm | proper formatting, to facilitate line-based diff; | changeset | files |
Wed, 13 Mar 2013 17:13:22 +0100 | wenzelm | more uniform session descriptions, which show up in chapter index; | changeset | files |
Wed, 13 Mar 2013 17:06:45 +0100 | wenzelm | proper index for HOL-Proofs, which is also in chapter "HOL"; | changeset | files |