(* Title: HOL/Library/BNF_Axiomatization.thy
Author: Dmitriy Traytel, TU Muenchen
Copyright 2013
Axiomatic declaration of bounded natural functors.
*)
section \<open>Axiomatic Declaration of Bounded Natural Functors\<close>
theory BNF_Axiomatization
imports Main
keywords
"bnf_axiomatization" :: thy_decl
begin
ML_file \<open>../Tools/BNF/bnf_axiomatization.ML\<close>
end
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|