/src/HOL/BNF/
drwxr-xr-x [up]
drwxr-xr-x Examples
drwxr-xr-x Tools
-rw-r--r-- 2012-09-26 10:00 +0200 335 BNF.thy
-rw-r--r-- 2012-09-26 10:00 +0200 2354 BNF_Comp.thy
-rw-r--r-- 2012-09-26 10:00 +0200 5459 BNF_Def.thy
-rw-r--r-- 2012-09-26 10:00 +0200 4063 BNF_FP.thy
-rw-r--r-- 2012-09-26 10:00 +0200 12085 BNF_GFP.thy
-rw-r--r-- 2012-09-26 10:00 +0200 8860 BNF_LFP.thy
-rw-r--r-- 2012-09-26 10:00 +0200 2055 BNF_Util.thy
-rw-r--r-- 2012-09-26 10:00 +0200 730 BNF_Wrap.thy
-rw-r--r-- 2012-09-26 10:00 +0200 17154 Basic_BNFs.thy
-rw-r--r-- 2012-09-26 10:00 +0200 12038 Countable_Set.thy
-rw-r--r-- 2012-09-26 10:00 +0200 5761 Equiv_Relations_More.thy
-rw-r--r-- 2012-09-26 10:00 +0200 67705 More_BNFs.thy
-rw-r--r-- 2012-09-26 10:00 +0200 2066 README.html