/src/HOL/Nominal/
drwxr-xr-x [up]
drwxr-xr-x Examples
-rw-r--r-- 2006-12-01 16:08 +0100 1740 INSTALL
-rw-r--r-- 2006-12-01 16:08 +0100 99658 Nominal.thy
-rw-r--r-- 2006-12-01 16:08 +0100 222 ROOT.ML
-rw-r--r-- 2006-12-01 16:08 +0100 41548 nominal_atoms.ML
-rw-r--r-- 2006-12-01 16:08 +0100 5859 nominal_induct.ML
-rw-r--r-- 2006-12-01 16:08 +0100 96647 nominal_package.ML
-rw-r--r-- 2006-12-01 16:08 +0100 15392 nominal_permeq.ML
-rw-r--r-- 2006-12-01 16:08 +0100 17711 nominal_primrec.ML