| Fri, 15 Jul 2011 00:03:47 +0200 | wenzelm | do not check vacous bindings, which routinely occur in locale expressions and long theorem statements etc.; | changeset | files |
| Thu, 14 Jul 2011 23:05:25 +0200 | wenzelm | more quotes; | changeset | files |
| Thu, 14 Jul 2011 22:53:43 +0200 | wenzelm | merged | changeset | files |
| Thu, 14 Jul 2011 22:08:11 +0200 | krauss | added missing dependencies; | changeset | files |
| Thu, 14 Jul 2011 19:43:45 +0200 | haftmann | merged | changeset | files |
| Thu, 14 Jul 2011 17:15:24 +0200 | haftmann | merged | changeset | files |
| Thu, 14 Jul 2011 17:14:54 +0200 | haftmann | tuned notation and proofs | changeset | files |
| Thu, 14 Jul 2011 17:29:30 +0200 | blanchet | move error logic closer to user | changeset | files |