/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Ex
drwxr-xr-x Manual
-rw-r--r-- 2010-05-20 21:35 +0100 32290 Abs.thy
-rw-r--r-- 2010-05-20 21:35 +0100 6571 Abs_equiv.thy
-rw-r--r-- 2010-05-20 21:35 +0100 13070 Equivp.thy
-rw-r--r-- 2010-05-20 21:35 +0100 47793 FSet.thy
-rw-r--r-- 2010-05-20 21:35 +0100 1759 Lift.thy
-rw-r--r-- 2010-05-20 21:35 +0100 8928 NewAlpha.thy
-rw-r--r-- 2010-05-20 21:35 +0100 7508 NewFv.thy
-rw-r--r-- 2010-05-20 21:35 +0100 28120 NewParser.thy
-rw-r--r-- 2010-05-20 21:35 +0100 2697 Nominal2_FSet.thy
-rw-r--r-- 2010-05-20 21:35 +0100 19892 Parser.thy
-rw-r--r-- 2010-05-20 21:35 +0100 2071 Perm.thy
-rw-r--r-- 2010-05-20 21:35 +0100 316 ROOT.ML
-rw-r--r-- 2010-05-20 21:35 +0100 7653 Rsp.thy
-rw-r--r-- 2010-05-20 21:35 +0100 5431 Tacs.thy
-rw-r--r-- 2010-05-20 21:35 +0100 2719 Unused.thy
-rw-r--r-- 2010-05-20 21:35 +0100 7679 nominal_dt_rawfuns.ML
-rw-r--r-- 2010-05-20 21:35 +0100 5033 nominal_dt_rawperm.ML