blob: b66f1e4c1126c4c6ea5bca91fcc585202aa8b47f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# $Id$
# This file is loaded initially by ./vernacparser.
load_syntax_file 17 LogicSyntax
load_syntax_file 36 SpecifSyntax
load_syntax_file 18 Logic_TypeSyntax
load_syntax_file 19 DatatypesSyntax
load_syntax_file 21 Equality
load_syntax_file 22 Inv
load_syntax_file 26 Tauto
load_syntax_file 34 Omega
load_syntax_file 27 Ring
quiet_parse_string
Goal a.
&& END--OF--DATA
print_version
|
