|
(* Title: HOL/Eisbach/Eisbach_Old_Appl_Syntax.thy
Author: Makarius
*)
section \<open>Alternative Eisbach entry point for FOL, ZF etc.\<close>
theory Eisbach_Old_Appl_Syntax
imports Eisbach
begin
setup Pure_Thy.old_appl_syntax_setup
end
¤ Dauer der Verarbeitung: 0.12 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.
|
