/Nominal/
drwxr-xr-x [up]
-rw-r--r-- 2010-03-18 08:03 +0100 23195 Abs.thy
-rw-r--r-- 2010-03-18 08:03 +0100 20323 Abs_res.thy
-rw-r--r-- 2010-03-18 08:03 +0100 31735 Fv.thy
-rw-r--r-- 2010-03-18 08:03 +0100 2814 LFex.thy
-rw-r--r-- 2010-03-18 08:03 +0100 16613 LamEx.thy
-rw-r--r-- 2010-03-18 08:03 +0100 15455 LamEx2.thy
-rw-r--r-- 2010-03-18 08:03 +0100 1630 Lift.thy
-rw-r--r-- 2010-03-18 08:03 +0100 9232 Nominal2_Atoms.thy
-rw-r--r-- 2010-03-18 08:03 +0100 29364 Nominal2_Base.thy
-rw-r--r-- 2010-03-18 08:03 +0100 9051 Nominal2_Eqvt.thy
-rw-r--r-- 2010-03-18 08:03 +0100 13869 Nominal2_Supp.thy
-rw-r--r-- 2010-03-18 08:03 +0100 19705 Parser.thy
-rw-r--r-- 2010-03-18 08:03 +0100 6184 Perm.thy
-rw-r--r-- 2010-03-18 08:03 +0100 411 ROOT.ML
-rw-r--r-- 2010-03-18 08:03 +0100 6878 Rsp.thy
-rw-r--r-- 2010-03-18 08:03 +0100 10797 Term1.thy
-rw-r--r-- 2010-03-18 08:03 +0100 3788 Term2.thy
-rw-r--r-- 2010-03-18 08:03 +0100 2001 Term3.thy
-rw-r--r-- 2010-03-18 08:03 +0100 5314 Term4.thy
-rw-r--r-- 2010-03-18 08:03 +0100 11781 Term5.thy
-rw-r--r-- 2010-03-18 08:03 +0100 9178 Term5n.thy
-rw-r--r-- 2010-03-18 08:03 +0100 5613 Term6.thy
-rw-r--r-- 2010-03-18 08:03 +0100 1679 Term7.thy
-rw-r--r-- 2010-03-18 08:03 +0100 2054 Term8.thy
-rw-r--r-- 2010-03-18 08:03 +0100 2524 Term9.thy
-rw-r--r-- 2010-03-18 08:03 +0100 24038 Test.thy
-rw-r--r-- 2010-03-18 08:03 +0100 17155 Test_compat.thy
-rw-r--r-- 2010-03-18 08:03 +0100 19031 Test_compat1.thy
-rw-r--r-- 2010-03-18 08:03 +0100 3309 TySch.thy
-rw-r--r-- 2010-03-18 08:03 +0100 3246 nominal_atoms.ML
-rw-r--r-- 2010-03-18 08:03 +0100 1701 nominal_permeq.ML
-rw-r--r-- 2010-03-18 08:03 +0100 4059 nominal_thmdecls.ML