# $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