/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2009-01-12 12:09 -0800 1741 INSTALL
-rw-r--r-- 2009-01-12 12:09 -0800 117842 Nominal.thy
-rw-r--r-- 2009-01-12 12:09 -0800 213 ROOT.ML
-rw-r--r-- 2009-01-12 12:09 -0800 51214 nominal_atoms.ML
-rw-r--r-- 2009-01-12 12:09 -0800 8013 nominal_fresh_fun.ML
-rw-r--r-- 2009-01-12 12:09 -0800 5787 nominal_induct.ML
-rw-r--r-- 2009-01-12 12:09 -0800 32527 nominal_inductive.ML
-rw-r--r-- 2009-01-12 12:09 -0800 22374 nominal_inductive2.ML
-rw-r--r-- 2009-01-12 12:09 -0800 96162 nominal_package.ML
-rw-r--r-- 2009-01-12 12:09 -0800 19249 nominal_permeq.ML
-rw-r--r-- 2009-01-12 12:09 -0800 17401 nominal_primrec.ML
-rw-r--r-- 2009-01-12 12:09 -0800 8326 nominal_thmdecls.ML