/src/HOL/Nominal/
drwxr-xr-x [up]
-rw-r--r-- 2005-11-07 10:47 +0100 73626 Nominal.thy
-rw-r--r-- 2005-11-07 10:47 +0100 46525 nominal_atoms.ML
-rw-r--r-- 2005-11-07 10:47 +0100 3366 nominal_induct.ML
-rw-r--r-- 2005-11-07 10:47 +0100 46863 nominal_package.ML
-rw-r--r-- 2005-11-07 10:47 +0100 4608 nominal_permeq.ML