/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2008-03-28 19:43 +0100 1740 INSTALL
-rw-r--r-- 2008-03-28 19:43 +0100 107833 Nominal.thy
-rw-r--r-- 2008-03-28 19:43 +0100 213 ROOT.ML
-rw-r--r-- 2008-03-28 19:43 +0100 48471 nominal_atoms.ML
-rw-r--r-- 2008-03-28 19:43 +0100 7967 nominal_fresh_fun.ML
-rw-r--r-- 2008-03-28 19:43 +0100 5750 nominal_induct.ML
-rw-r--r-- 2008-03-28 19:43 +0100 32182 nominal_inductive.ML
-rw-r--r-- 2008-03-28 19:43 +0100 95036 nominal_package.ML
-rw-r--r-- 2008-03-28 19:43 +0100 17238 nominal_permeq.ML
-rw-r--r-- 2008-03-28 19:43 +0100 18198 nominal_primrec.ML
-rw-r--r-- 2008-03-28 19:43 +0100 9803 nominal_thmdecls.ML