blob: f95c4212af6880532fd4d32778ba532a329940f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# $Id: vernacrc,v 1.1 2003/11/29 20:02:41 herbelin Exp $
# 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
|
