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 |