blob: 4d3dc558848b847478054d3ce8e66ad4dc278415 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
# $Id: vernacrc 5202 2004-01-14 14:52:59Z bertot $
# This file is loaded initially by ./vernacparser.
load_syntax_file 1 Notations
load_syntax_file 2 Logic
load_syntax_file 34 Omega
load_syntax_file 27 Ring
quiet_parse_string
Goal a.
&& END--OF--DATA
print_version
|
