Fri, 14 Mar 2014 01:28:14 +0100 | blanchet | updated documentation w.r.t. 'z3_non_commercial' option in Isabelle/jEdit | changeset | files |
Fri, 14 Mar 2014 01:28:13 +0100 | blanchet | updated NEWS and CONTRIBUTORS (BNF, SMT2, Sledgehammer) | changeset | files |
Thu, 13 Mar 2014 16:07:27 -0700 | huffman | remove ordered_euclidean_space constraint from brouwer/derivative lemmas; | changeset | files |
Thu, 13 Mar 2014 17:36:56 +0100 | nipkow | typos | changeset | files |
Thu, 13 Mar 2014 16:39:08 +0100 | traytel | merged | changeset | files |
Thu, 13 Mar 2014 16:28:25 +0100 | traytel | tuned tactics | changeset | files |