| Thu, 05 Mar 2009 08:23:11 +0100 | haftmann | set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax | changeset | files |
| Thu, 05 Mar 2009 08:23:10 +0100 | haftmann | tuned | changeset | files |
| Thu, 05 Mar 2009 08:23:09 +0100 | haftmann | moved complete_lattice to Set.thy | changeset | files |
| Thu, 05 Mar 2009 08:23:08 +0100 | haftmann | dropped Id | changeset | files |