| 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 |
| Wed, 15 Jan 2014 16:57:29 +0100 | wenzelm | fall-back on old Z3_NON_COMMERCIAL, which simplifies automatic test environments like isatest and mira; | changeset | files |
| Wed, 15 Jan 2014 16:59:24 +0100 | nipkow | tuned text | changeset | files |