| Wed, 05 Dec 2012 14:19:44 +0100 | wenzelm | basic wrapper for session build dialog; | changeset | files |
| Wed, 05 Dec 2012 14:13:47 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 05 Dec 2012 12:22:55 +0100 | wenzelm | tuned signature in accordance to document operations; | changeset | files |
| Wed, 05 Dec 2012 11:34:04 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 05 Dec 2012 11:05:34 +0100 | nipkow | merged | changeset | files |
| Wed, 05 Dec 2012 11:05:23 +0100 | nipkow | \<noteq> now has the same associativity as ~= and = | changeset | files |
| Wed, 05 Dec 2012 10:35:58 +0100 | blanchet | tweaked order of theorems to avoid forward dependencies (MaSh) | changeset | files |