/Nominal-General/
drwxr-xr-x [up]
-rw-r--r-- 2010-08-20 16:55 +0900 3646 Atoms.thy
-rw-r--r-- 2010-08-20 16:55 +0900 7230 Nominal2_Atoms.thy
-rw-r--r-- 2010-08-20 16:55 +0900 33783 Nominal2_Base.thy
-rw-r--r-- 2010-08-20 16:55 +0900 11139 Nominal2_Eqvt.thy
-rw-r--r-- 2010-08-20 16:55 +0900 19936 Nominal2_Supp.thy
-rw-r--r-- 2010-08-20 16:55 +0900 121 ROOT.ML
-rw-r--r-- 2010-08-20 16:55 +0900 2903 nominal_atoms.ML
-rw-r--r-- 2010-08-20 16:55 +0900 4541 nominal_eqvt.ML
-rw-r--r-- 2010-08-20 16:55 +0900 9231 nominal_library.ML
-rw-r--r-- 2010-08-20 16:55 +0900 5323 nominal_permeq.ML
-rw-r--r-- 2010-08-20 16:55 +0900 7612 nominal_thmdecls.ML