/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2014-05-04 18:14 +0200 122366 Nominal.thy
-rw-r--r-- 2014-05-04 18:14 +0200 52851 nominal_atoms.ML
-rw-r--r-- 2014-05-04 18:14 +0200 98274 nominal_datatype.ML
-rw-r--r-- 2014-05-04 18:14 +0200 6909 nominal_fresh_fun.ML
-rw-r--r-- 2014-05-04 18:14 +0200 6631 nominal_induct.ML
-rw-r--r-- 2014-05-04 18:14 +0200 33917 nominal_inductive.ML
-rw-r--r-- 2014-05-04 18:14 +0200 23546 nominal_inductive2.ML
-rw-r--r-- 2014-05-04 18:14 +0200 19742 nominal_permeq.ML
-rw-r--r-- 2014-05-04 18:14 +0200 16948 nominal_primrec.ML
-rw-r--r-- 2014-05-04 18:14 +0200 7204 nominal_thmdecls.ML