| Thu, 16 Jan 2014 16:50:41 +0100 | blanchet | moved lemmas from 'Fun_More_FP' to where they belong | changeset | files |
| Thu, 16 Jan 2014 16:33:19 +0100 | blanchet | moved 'Zorn' into 'Main', since it's a BNF dependency | changeset | files |
| Thu, 16 Jan 2014 16:20:17 +0100 | blanchet | adapted to move of Wfrec | changeset | files |
| Thu, 16 Jan 2014 15:47:33 +0100 | blanchet | moved Wfrec to Main, since it is a dependency of cardinals, hence BNFs | changeset | files |
| Wed, 15 Jan 2014 23:25:28 +0100 | wenzelm | added \<newline> symbol, which is used for char/string literals in HOL; | changeset | files |
| Wed, 15 Jan 2014 22:24:57 +0100 | wenzelm | general notion of auxiliary bounds within context; | changeset | files |
| Wed, 15 Jan 2014 19:02:58 +0100 | wenzelm | merged | changeset | files |