theories/Init/Prelude.v


1
2
3
4
5
6
7
8
9
10
11


(* $Id$ *)

Require Export Datatypes.
Require Export DatatypesSyntax.
Require Export Logic.
Require Export LogicSyntax.
Require Export Specif.
Require Export SpecifSyntax.
Require Export Peano.
Require Export Wf.