Sat, 16 Jul 2011 16:51:12 +0200 | wenzelm | tuned; | changeset | files |
Sat, 16 Jul 2011 00:01:17 +0200 | Cezary Kaliszyk | HOL/Import: Fix errors with _mk_list | changeset | files |
Fri, 15 Jul 2011 16:51:01 +0200 | wenzelm | Element.activate: leave check of binding where actually applied to the context -- allow internal qualifications, or non-identifier fact names like "assumes *: A" (see also 1183951365de); | changeset | files |