| Wed, 13 Jan 2016 21:15:23 +0100 | wenzelm | updated section on "Overloaded constant definitions"; | changeset | files |
| Wed, 13 Jan 2016 20:19:49 +0100 | wenzelm | more doc content; | changeset | files |
| Wed, 13 Jan 2016 17:05:08 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 13 Jan 2016 16:55:56 +0100 | wenzelm | removed old 'defs' command; | changeset | files |
| Wed, 13 Jan 2016 16:41:32 +0100 | wenzelm | Eisbach works for other object-logics, e.g. Eisbach_FOL.thy; | changeset | files |
| Wed, 13 Jan 2016 16:01:03 +0100 | wenzelm | more doc content; | changeset | files |
| Wed, 13 Jan 2016 15:59:37 +0100 | wenzelm | merged; | changeset | files |