Fri, 13 Nov 2015 14:11:54 +0100 | wenzelm | avoid vacuous quantification, as usual for shared variable scope; | changeset | files |
Fri, 13 Nov 2015 11:41:11 +0100 | wenzelm | support for structure statements in 'assume', 'presume'; | changeset | files |
Thu, 12 Nov 2015 11:30:56 +0100 | wenzelm | support short form for \<^theory_text>; | changeset | files |