/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2007-01-16 10:25 +0100 1740 INSTALL
-rw-r--r-- 2007-01-16 10:25 +0100 99658 Nominal.thy
-rw-r--r-- 2007-01-16 10:25 +0100 222 ROOT.ML
-rw-r--r-- 2007-01-16 10:25 +0100 41634 nominal_atoms.ML
-rw-r--r-- 2007-01-16 10:25 +0100 5797 nominal_induct.ML
-rw-r--r-- 2007-01-16 10:25 +0100 97029 nominal_package.ML
-rw-r--r-- 2007-01-16 10:25 +0100 15469 nominal_permeq.ML
-rw-r--r-- 2007-01-16 10:25 +0100 17728 nominal_primrec.ML