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 |
Sat, 30 Sep 2017 22:55:23 +0200 | blanchet | updated Sledgehammer docs | changeset | files |