/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2020-11-30 22:00 +0000 123633 Nominal.thy
-rw-r--r-- 2020-11-30 22:00 +0000 54102 nominal_atoms.ML
-rw-r--r-- 2020-11-30 22:00 +0000 102532 nominal_datatype.ML
-rw-r--r-- 2020-11-30 22:00 +0000 7195 nominal_fresh_fun.ML
-rw-r--r-- 2020-11-30 22:00 +0000 6592 nominal_induct.ML
-rw-r--r-- 2020-11-30 22:00 +0000 34985 nominal_inductive.ML
-rw-r--r-- 2020-11-30 22:00 +0000 24359 nominal_inductive2.ML
-rw-r--r-- 2020-11-30 22:00 +0000 20207 nominal_permeq.ML
-rw-r--r-- 2020-11-30 22:00 +0000 17205 nominal_primrec.ML
-rw-r--r-- 2020-11-30 22:00 +0000 7474 nominal_thmdecls.ML