/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2015-06-19 07:53 +0200 122448 Nominal.thy
-rw-r--r-- 2015-06-19 07:53 +0200 52962 nominal_atoms.ML
-rw-r--r-- 2015-06-19 07:53 +0200 100202 nominal_datatype.ML
-rw-r--r-- 2015-06-19 07:53 +0200 6954 nominal_fresh_fun.ML
-rw-r--r-- 2015-06-19 07:53 +0200 6488 nominal_induct.ML
-rw-r--r-- 2015-06-19 07:53 +0200 34146 nominal_inductive.ML
-rw-r--r-- 2015-06-19 07:53 +0200 23682 nominal_inductive2.ML
-rw-r--r-- 2015-06-19 07:53 +0200 19625 nominal_permeq.ML
-rw-r--r-- 2015-06-19 07:53 +0200 16958 nominal_primrec.ML
-rw-r--r-- 2015-06-19 07:53 +0200 7226 nominal_thmdecls.ML