1 (* Title: FOL/fologic.ML
2 ID: $Id$
3 Author: Lawrence C Paulson
2 Author: Lawrence C Paulson
4
3
5 Abstract syntax operations for FOL.
4 Abstract syntax operations for FOL.
6 *)
5 *)
7
6