Theory Common

theory Common
imports FOL_Fitting
(*
    Author: Asta Halkjær From, DTU Compute, 2019
    Contributors: Alexander Birch Jensen, Anders Schlichtkrull & Jørgen Villadsen
    See also the Natural Deduction Assistant: https://nadea.compute.dtu.dk/
*)

section ‹Common Notation›

theory Common imports "FOL-Fitting.FOL_Fitting" begin

notation FF (‹⊥›)
notation TT (‹⊤›)

end