syntax

adlib/bootstrap.lp

adlib/induction.lp

adlib/subtype.lp

alternatives/adlib/core/nat_ops.lp

alternatives/prelude/core/boolean_props.lp

alternatives/prelude/core/equalities.lp

alternatives/prelude/core/if_def.lp

alternatives/prelude/core/quantifier_props.lp

alternatives/sandbox/core/rat.lp

alternatives/sandbox/core/rat_explicit.lp

encodings/ad_hoc.lp

encodings/bool_hol.lp

encodings/bool_pvs.lp

encodings/cert_f.lp

encodings/deferred.lp

encodings/deferred_erasure.lp

encodings/equality.lp

encodings/lhol.lp

encodings/prenex.lp

encodings/pvs_cert.lp