/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Ex
drwxr-xr-x Manual
-rw-r--r-- 2010-04-28 08:22 +0200 31234 Abs.thy
-rw-r--r-- 2010-04-28 08:22 +0200 6571 Abs_equiv.thy
-rw-r--r-- 2010-04-28 08:22 +0200 13075 Equivp.thy
-rw-r--r-- 2010-04-28 08:22 +0200 37262 FSet.thy
-rw-r--r-- 2010-04-28 08:22 +0200 25891 Fv.thy
-rw-r--r-- 2010-04-28 08:22 +0200 2708 Lift.thy
-rw-r--r-- 2010-04-28 08:22 +0200 7043 NewFv.thy
-rw-r--r-- 2010-04-28 08:22 +0200 14845 NewParser.thy
-rw-r--r-- 2010-04-28 08:22 +0200 2943 Nominal2_FSet.thy
-rw-r--r-- 2010-04-28 08:22 +0200 24613 Parser.thy
-rw-r--r-- 2010-04-28 08:22 +0200 7137 Perm.thy
-rw-r--r-- 2010-04-28 08:22 +0200 315 ROOT.ML
-rw-r--r-- 2010-04-28 08:22 +0200 8955 Rsp.thy
-rw-r--r-- 2010-04-28 08:22 +0200 5707 Tacs.thy