Wed, 25 Feb 2009 10:02:10 +0100 | immler | removed local ref const_needs_hBOOL; | changeset | files |
Tue, 24 Feb 2009 18:06:36 +0100 | immler | removed local ref const_min_arity | changeset | files |
Fri, 27 Feb 2009 18:03:47 +0100 | wenzelm | eliminated private clones of List.partition; | changeset | files |
Fri, 27 Feb 2009 16:54:49 +0100 | wenzelm | observe some Isabelle/ML coding conventions; | changeset | files |
Fri, 27 Feb 2009 16:38:52 +0100 | wenzelm | eliminated NJ's List.nth; | changeset | files |
Fri, 27 Feb 2009 16:33:11 +0100 | wenzelm | tuned CHANGED_GOAL: use Thm.cprem_of instead of selecting from Thm.prems_of; | changeset | files |