/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2009-03-08 17:26 +0100 1741 INSTALL
-rw-r--r-- 2009-03-08 17:26 +0100 119956 Nominal.thy
-rw-r--r-- 2009-03-08 17:26 +0100 213 ROOT.ML
-rw-r--r-- 2009-03-08 17:26 +0100 51846 nominal_atoms.ML
-rw-r--r-- 2009-03-08 17:26 +0100 8023 nominal_fresh_fun.ML
-rw-r--r-- 2009-03-08 17:26 +0100 5832 nominal_induct.ML
-rw-r--r-- 2009-03-08 17:26 +0100 33228 nominal_inductive.ML
-rw-r--r-- 2009-03-08 17:26 +0100 22867 nominal_inductive2.ML
-rw-r--r-- 2009-03-08 17:26 +0100 96693 nominal_package.ML
-rw-r--r-- 2009-03-08 17:26 +0100 19264 nominal_permeq.ML
-rw-r--r-- 2009-03-08 17:26 +0100 17483 nominal_primrec.ML
-rw-r--r-- 2009-03-08 17:26 +0100 8542 nominal_thmdecls.ML