author | traytel |
Tue, 13 May 2014 09:21:22 +0200 | |
changeset 56942 | 5fff4dc31d34 |
parent 55076 | src/HOL/Library/BNF_Decl.thy@1e73e090a514 |
child 58881 | b9556a055632 |
permissions | -rw-r--r-- |
(* Title: HOL/Library/BNF_Axiomatization.thy Author: Dmitriy Traytel, TU Muenchen Copyright 2013 Axiomatic declaration of bounded natural functors. *) header {* Axiomatic declaration of Bounded Natural Functors *} theory BNF_Axiomatization imports Main keywords "bnf_axiomatization" :: thy_decl begin ML_file "bnf_axiomatization.ML" end