/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2010-09-02 10:14 +0200 122587 Nominal.thy
-rw-r--r-- 2010-09-02 10:14 +0200 198 ROOT.ML
-rw-r--r-- 2010-09-02 10:14 +0200 52021 nominal_atoms.ML
-rw-r--r-- 2010-09-02 10:14 +0200 96993 nominal_datatype.ML
-rw-r--r-- 2010-09-02 10:14 +0200 7282 nominal_fresh_fun.ML
-rw-r--r-- 2010-09-02 10:14 +0200 6583 nominal_induct.ML
-rw-r--r-- 2010-09-02 10:14 +0200 33292 nominal_inductive.ML
-rw-r--r-- 2010-09-02 10:14 +0200 23107 nominal_inductive2.ML
-rw-r--r-- 2010-09-02 10:14 +0200 19031 nominal_permeq.ML
-rw-r--r-- 2010-09-02 10:14 +0200 16913 nominal_primrec.ML
-rw-r--r-- 2010-09-02 10:14 +0200 7199 nominal_thmdecls.ML