Sat, 07 Jan 2012 09:32:18 +0100 | haftmann | tuned | changeset | files |
Sat, 07 Jan 2012 09:32:01 +0100 | haftmann | restore convenient code_abbrev declarations (particulary important if List.set is not the formal constructor for sets) | changeset | files |
Fri, 06 Jan 2012 22:16:25 +0100 | haftmann | moved lemmas about List.set and set operations to List theory | changeset | files |
Fri, 06 Jan 2012 22:16:01 +0100 | haftmann | moved lemmas about List.set and set operations to List theory | changeset | files |
Fri, 06 Jan 2012 21:48:45 +0100 | haftmann | incorporated various theorems from theory More_Set into corpus | changeset | files |
Fri, 06 Jan 2012 21:48:45 +0100 | haftmann | consolidated various theorem names relating to Finite_Set.fold and List.fold combinators | changeset | files |