| 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 |