/src/HOL/BNF/
drwxr-xr-x [up]
drwxr-xr-x Examples
drwxr-xr-x Tools
-rw-r--r-- 2013-11-05 09:44 +0100 559 BNF.thy
-rw-r--r-- 2013-11-05 09:44 +0100 2398 BNF_Comp.thy
-rw-r--r-- 2013-11-05 09:44 +0100 7461 BNF_Def.thy
-rw-r--r-- 2013-11-05 09:44 +0100 5898 BNF_FP_Base.thy
-rw-r--r-- 2013-11-05 09:44 +0100 11775 BNF_GFP.thy
-rw-r--r-- 2013-11-05 09:44 +0100 9435 BNF_LFP.thy
-rw-r--r-- 2013-11-05 09:44 +0100 1967 BNF_Util.thy
-rw-r--r-- 2013-11-05 09:44 +0100 11808 Basic_BNFs.thy
-rw-r--r-- 2013-11-05 09:44 +0100 363 Coinduction.thy
-rw-r--r-- 2013-11-05 09:44 +0100 3526 Countable_Type.thy
-rw-r--r-- 2013-11-05 09:44 +0100 873 Ctr_Sugar.thy
-rw-r--r-- 2013-11-05 09:44 +0100 5761 Equiv_Relations_More.thy
-rw-r--r-- 2013-11-05 09:44 +0100 54032 More_BNFs.thy
-rw-r--r-- 2013-11-05 09:44 +0100 2073 README.html