1
theory Base
2
imports Pure
3
uses "../../antiquote_setup.ML"
4
begin
5
6
setup {*
7
member (op =) (Session.id ()) "ZF" ? Pure_Thy.old_appl_syntax_setup
8
*}
9
10
declare [[thy_output_source]]
11
12
end