/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2014-10-10 19:55 +0200 122444 Nominal.thy
-rw-r--r-- 2014-10-10 19:55 +0200 52888 nominal_atoms.ML
-rw-r--r-- 2014-10-10 19:55 +0200 99064 nominal_datatype.ML
-rw-r--r-- 2014-10-10 19:55 +0200 6911 nominal_fresh_fun.ML
-rw-r--r-- 2014-10-10 19:55 +0200 6606 nominal_induct.ML
-rw-r--r-- 2014-10-10 19:55 +0200 33929 nominal_inductive.ML
-rw-r--r-- 2014-10-10 19:55 +0200 23550 nominal_inductive2.ML
-rw-r--r-- 2014-10-10 19:55 +0200 19742 nominal_permeq.ML
-rw-r--r-- 2014-10-10 19:55 +0200 16967 nominal_primrec.ML
-rw-r--r-- 2014-10-10 19:55 +0200 7204 nominal_thmdecls.ML