| Fri, 20 Feb 2004 01:32:59 +0100 | nipkow | moved lemmas from MicroJava/Comp/AuxLemmas.thy to List.thy | changeset | files |
| Thu, 19 Feb 2004 18:24:08 +0100 | paulson | removal of the legacy ML structure List | changeset | files |
| Thu, 19 Feb 2004 17:57:54 +0100 | paulson | new numerics section using type classes | changeset | files |
| Thu, 19 Feb 2004 16:44:21 +0100 | ballarin | New lemmas about inversion of restricted functions. | changeset | files |
| Thu, 19 Feb 2004 15:57:34 +0100 | ballarin | Efficient, graph-based reasoner for linear and partial orders. | changeset | files |
| Thu, 19 Feb 2004 10:41:32 +0100 | paulson | moved list_all2I to List.thy | changeset | files |
| Thu, 19 Feb 2004 10:41:01 +0100 | paulson | removed a reference to the ML structure List.thy | changeset | files |