/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2009-10-21 10:15 +0200 1741 INSTALL
-rw-r--r-- 2009-10-21 10:15 +0200 122589 Nominal.thy
-rw-r--r-- 2009-10-21 10:15 +0200 213 ROOT.ML
-rw-r--r-- 2009-10-21 10:15 +0200 51952 nominal_atoms.ML
-rw-r--r-- 2009-10-21 10:15 +0200 96354 nominal_datatype.ML
-rw-r--r-- 2009-10-21 10:15 +0200 7416 nominal_fresh_fun.ML
-rw-r--r-- 2009-10-21 10:15 +0200 5782 nominal_induct.ML
-rw-r--r-- 2009-10-21 10:15 +0200 33222 nominal_inductive.ML
-rw-r--r-- 2009-10-21 10:15 +0200 23023 nominal_inductive2.ML
-rw-r--r-- 2009-10-21 10:15 +0200 19214 nominal_permeq.ML
-rw-r--r-- 2009-10-21 10:15 +0200 17037 nominal_primrec.ML
-rw-r--r-- 2009-10-21 10:15 +0200 7032 nominal_thmdecls.ML