src/ZF/Main.thy
author wenzelm
Wed, 21 Jul 2010 21:08:40 +0200 (2010-07-21)
changeset 37903 b7ae269c0d68
parent 35762 af3ff2ba4c54
permissions -rw-r--r--
replaced Source.of_list_limited by slightly more economic Source.of_string_limited;
theory Main 
imports Main_ZF
begin

end