/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Manual
-rw-r--r-- 2010-03-26 16:20 +0100 20952 Abs.thy
-rw-r--r-- 2010-03-26 16:20 +0100 620 Ex1.thy
-rw-r--r-- 2010-03-26 16:20 +0100 612 Ex1rec.thy
-rw-r--r-- 2010-03-26 16:20 +0100 603 Ex2.thy
-rw-r--r-- 2010-03-26 16:20 +0100 670 Ex3.thy
-rw-r--r-- 2010-03-26 16:20 +0100 28747 ExCoreHaskell.thy
-rw-r--r-- 2010-03-26 16:20 +0100 375 ExLF.thy
-rw-r--r-- 2010-03-26 16:20 +0100 2835 ExLam.thy
-rw-r--r-- 2010-03-26 16:20 +0100 1896 ExLeroy.thy
-rw-r--r-- 2010-03-26 16:20 +0100 6725 ExLet.thy
-rw-r--r-- 2010-03-26 16:20 +0100 1993 ExLetRec.thy
-rw-r--r-- 2010-03-26 16:20 +0100 881 ExNotRsp.thy
-rw-r--r-- 2010-03-26 16:20 +0100 661 ExPS3.thy
-rw-r--r-- 2010-03-26 16:20 +0100 730 ExPS6.thy
-rw-r--r-- 2010-03-26 16:20 +0100 567 ExPS7.thy
-rw-r--r-- 2010-03-26 16:20 +0100 1353 ExPS8.thy
-rw-r--r-- 2010-03-26 16:20 +0100 4605 ExTySch.thy
-rw-r--r-- 2010-03-26 16:20 +0100 11051 FSet.thy
-rw-r--r-- 2010-03-26 16:20 +0100 35726 Fv.thy
-rw-r--r-- 2010-03-26 16:20 +0100 2613 Lift.thy
-rw-r--r-- 2010-03-26 16:20 +0100 9411 Nominal2_Atoms.thy
-rw-r--r-- 2010-03-26 16:20 +0100 29598 Nominal2_Base.thy
-rw-r--r-- 2010-03-26 16:20 +0100 9051 Nominal2_Eqvt.thy
-rw-r--r-- 2010-03-26 16:20 +0100 4687 Nominal2_FSet.thy
-rw-r--r-- 2010-03-26 16:20 +0100 17385 Nominal2_Supp.thy
-rw-r--r-- 2010-03-26 16:20 +0100 21699 Parser.thy
-rw-r--r-- 2010-03-26 16:20 +0100 6108 Perm.thy
-rw-r--r-- 2010-03-26 16:20 +0100 344 ROOT.ML
-rw-r--r-- 2010-03-26 16:20 +0100 9145 Rsp.thy
-rw-r--r-- 2010-03-26 16:20 +0100 5707 Tacs.thy
-rw-r--r-- 2010-03-26 16:20 +0100 980 Test.thy
-rw-r--r-- 2010-03-26 16:20 +0100 1321 TestMorePerm.thy
-rw-r--r-- 2010-03-26 16:20 +0100 3246 nominal_atoms.ML
-rw-r--r-- 2010-03-26 16:20 +0100 1701 nominal_permeq.ML
-rw-r--r-- 2010-03-26 16:20 +0100 4059 nominal_thmdecls.ML