/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Ex
drwxr-xr-x Manual
-rw-r--r-- 2010-05-13 15:12 +0100 32290 Abs.thy
-rw-r--r-- 2010-05-13 15:12 +0100 6571 Abs_equiv.thy
-rw-r--r-- 2010-05-13 15:12 +0100 13093 Equivp.thy
-rw-r--r-- 2010-05-13 15:12 +0100 47793 FSet.thy
-rw-r--r-- 2010-05-13 15:12 +0100 26839 Fv.thy
-rw-r--r-- 2010-05-13 15:12 +0100 1759 Lift.thy
-rw-r--r-- 2010-05-13 15:12 +0100 9709 NewAlpha.thy
-rw-r--r-- 2010-05-13 15:12 +0100 8089 NewFv.thy
-rw-r--r-- 2010-05-13 15:12 +0100 28823 NewParser.thy
-rw-r--r-- 2010-05-13 15:12 +0100 2697 Nominal2_FSet.thy
-rw-r--r-- 2010-05-13 15:12 +0100 24436 Parser.thy
-rw-r--r-- 2010-05-13 15:12 +0100 7232 Perm.thy
-rw-r--r-- 2010-05-13 15:12 +0100 312 ROOT.ML
-rw-r--r-- 2010-05-13 15:12 +0100 7330 Rsp.thy
-rw-r--r-- 2010-05-13 15:12 +0100 5431 Tacs.thy
-rw-r--r-- 2010-05-13 15:12 +0100 1675 Unused.thy