/* parse.h
 *
 * Written by Matt Levy
 *
 * Part of lderes.  See COPYRIGHT for copyright information.
 *
 */

#ifndef _PARSE_H
#define _PARSE_H	1
#include <stdio.h>
#include <stdlib.h>

int *ParseTheory(FILE *knowFile, FILE *defFile, long size, int *formCnt, 
						int *defCnt, int *assertCnt);
#endif /* _PARSE_H */
