Thu, 02 Sep 2010 15:47:59 +0200 | blanchet | reenable Nitpick on Cygwin; | changeset | files |
Fri, 03 Sep 2010 11:42:59 +0200 | wenzelm | merged; | changeset | files |
Fri, 03 Sep 2010 11:27:35 +0200 | wenzelm | Proof.pretty_state: print everything in the foreground context to give users a chance to configure options, e.g. via "using [[show_consts]]"; | changeset | files |
Fri, 03 Sep 2010 11:21:58 +0200 | wenzelm | turned show_consts into proper configuration option; | changeset | files |
Fri, 03 Sep 2010 10:58:11 +0200 | wenzelm | prefer regular Proof.context over background theory; | changeset | files |
Thu, 02 Sep 2010 17:12:16 +0200 | wenzelm | just one refute.ML; | changeset | files |
Thu, 02 Sep 2010 16:45:21 +0200 | wenzelm | use existing Integer.pow, despite its slightly odd argument order; | changeset | files |