src/HOL/ex/set.thy
author nipkow
Fri, 24 Nov 2000 16:49:27 +0100
changeset 10519 ade64af4c57c
parent 9100 9e081c812338
child 13058 ad6106d7b4bb
permissions -rw-r--r--
hide many names from Datatype_Universe.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9100
9e081c812338 fixed deps;
wenzelm
parents:
diff changeset
     1
9e081c812338 fixed deps;
wenzelm
parents:
diff changeset
     2
theory set = Main:
9e081c812338 fixed deps;
wenzelm
parents:
diff changeset
     3
9e081c812338 fixed deps;
wenzelm
parents:
diff changeset
     4
end