/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2011-08-11 09:11 -0700 122573 Nominal.thy
-rw-r--r-- 2011-08-11 09:11 -0700 217 ROOT.ML
-rw-r--r-- 2011-08-11 09:11 -0700 52379 nominal_atoms.ML
-rw-r--r-- 2011-08-11 09:11 -0700 97169 nominal_datatype.ML
-rw-r--r-- 2011-08-11 09:11 -0700 7551 nominal_fresh_fun.ML
-rw-r--r-- 2011-08-11 09:11 -0700 6581 nominal_induct.ML
-rw-r--r-- 2011-08-11 09:11 -0700 33363 nominal_inductive.ML
-rw-r--r-- 2011-08-11 09:11 -0700 23139 nominal_inductive2.ML
-rw-r--r-- 2011-08-11 09:11 -0700 19328 nominal_permeq.ML
-rw-r--r-- 2011-08-11 09:11 -0700 16937 nominal_primrec.ML
-rw-r--r-- 2011-08-11 09:11 -0700 7169 nominal_thmdecls.ML