Fri, 27 Feb 2009 18:50:35 +0100 | wenzelm | merged | changeset | files |
Thu, 26 Feb 2009 10:13:43 +0100 | immler | removed global ref dfg_format | changeset | files |
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 |