Sun, 01 Oct 2017 15:01:39 +0200 | blanchet | properly take quantifiers into account (cf. my Ph.D. thesis, Section 6.4.1) and offer three modes of completeness (for experiments mostly) | changeset | files |
Sun, 01 Oct 2017 13:07:31 +0200 | wenzelm | option -B for "isabelle build" and "isabelle imports"; | changeset | files |
Sun, 01 Oct 2017 12:28:52 +0200 | wenzelm | more standard merge operation; | changeset | files |