/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2010-06-30 16:46 +0200 122587 Nominal.thy
-rw-r--r-- 2010-06-30 16:46 +0200 198 ROOT.ML
-rw-r--r-- 2010-06-30 16:46 +0200 51979 nominal_atoms.ML
-rw-r--r-- 2010-06-30 16:46 +0200 96826 nominal_datatype.ML
-rw-r--r-- 2010-06-30 16:46 +0200 7282 nominal_fresh_fun.ML
-rw-r--r-- 2010-06-30 16:46 +0200 6583 nominal_induct.ML
-rw-r--r-- 2010-06-30 16:46 +0200 33241 nominal_inductive.ML
-rw-r--r-- 2010-06-30 16:46 +0200 23052 nominal_inductive2.ML
-rw-r--r-- 2010-06-30 16:46 +0200 18968 nominal_permeq.ML
-rw-r--r-- 2010-06-30 16:46 +0200 16913 nominal_primrec.ML
-rw-r--r-- 2010-06-30 16:46 +0200 7017 nominal_thmdecls.ML