/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2006-11-24 13:44 +0100 1740 INSTALL
-rw-r--r-- 2006-11-24 13:44 +0100 99519 Nominal.thy
-rw-r--r-- 2006-11-24 13:44 +0100 222 ROOT.ML
-rw-r--r-- 2006-11-24 13:44 +0100 41548 nominal_atoms.ML
-rw-r--r-- 2006-11-24 13:44 +0100 5859 nominal_induct.ML
-rw-r--r-- 2006-11-24 13:44 +0100 94937 nominal_package.ML
-rw-r--r-- 2006-11-24 13:44 +0100 15401 nominal_permeq.ML