src/HOL/ex/set.thy
author wenzelm
Wed Jun 21 15:58:23 2000 +0200 (2000-06-21)
changeset 9100 9e081c812338
child 13058 ad6106d7b4bb
permissions -rw-r--r--
fixed deps;
wenzelm@9100
     1
wenzelm@9100
     2
theory set = Main:
wenzelm@9100
     3
wenzelm@9100
     4
end