| Sat, 31 Jul 2010 16:39:32 +0200 | blanchet | started implementation of custom sym break | changeset | files |
| Sat, 31 Jul 2010 12:29:56 +0200 | blanchet | clarify Nitpick's output in case of a potential counterexample | changeset | files |
| Sat, 31 Jul 2010 01:23:51 +0200 | blanchet | added support for CryptoMiniSat | changeset | files |
| Fri, 30 Jul 2010 18:28:18 +0200 | blanchet | gracefully handle the case where no integers occur in the formula and the "max" option is used | changeset | files |
| Sun, 01 Aug 2010 10:26:55 +0200 | bulwahn | merged | changeset | files |
| Sun, 01 Aug 2010 10:15:44 +0200 | bulwahn | adding Code_Prolog theory to IsaMakefile and HOL-Library root file | changeset | files |
| Sun, 01 Aug 2010 10:15:43 +0200 | bulwahn | inductive_simps learns to have more tool compliance | changeset | files |
| Sun, 01 Aug 2010 10:15:43 +0200 | bulwahn | setting up Code_Prolog_Examples | changeset | files |