--- Horn Clause Logic

( reset )
in examples/horn.occ


--- Equational Logic

( reset )
in examples/fact-spec.occ 
( reset )
in examples/fact-impl.occ 
( reset )
in examples/nat-assertions.occ
( reset )
in examples/modulo-rewriting.occ
( reset )
in examples/lists.occ

--- Datatypes

( reset )
in examples/bool.occ
( reset )
in examples/nat.occ
( reset )
in examples/path.occ

--- Polymorphic Datatypes

( reset )
in examples/sum.occ
( reset )
in examples/clist.occ
( reset )
in examples/list.occ
( reset )
in examples/finite_multiset.occ 
( reset )
in examples/finite_set.occ

--- Equational Features

( reset )
--- in examples/eta-conversion.occ
( reset )
in examples/equational-typechecking.occ
( reset )
in examples/normalizing-equations.occ
( reset )
in examples/non-transitivity.occ
( reset )
in examples/advanced-typechecking.occ
( reset )
in examples/assoc.occ
( reset )
in examples/depunion.occ

--- Higher Order Logics

( reset )
in examples/logic.occ
( reset )
in examples/classic.occ
( reset )
in examples/lego-logic.occ

--- Mathematical Structures as Objects

( reset )
in examples/monoid.occ

--- Theorem Proving 

( reset )
in examples/implies-transitivity.occ
( reset )
in examples/and-symmetry.occ
( reset )
in examples/composition.occ
( reset )
in examples/auto.occ

--- Inductive Theorem Proving

( reset )
in examples/nat-proof.occ
( reset )
in examples/plus-is-commutative.occ 
( reset )
in examples/bool-proof.occ
( reset )
in examples/clist-proof.occ
( reset )
in examples/deduction-theorem.occ
( reset )
in examples/operational-theorems.occ
( reset )
in examples/sorting.occ
( reset )
in examples/list-algebra.occ


--- Coinductive Datatypes and Coinduction

( reset )
in examples/flag.occ
( reset )
in examples/flag-classic-coinduction.occ
( reset )
in examples/flag-intuit-coinduction.occ
( reset )
in examples/stream.occ 
( reset )
in examples/stream-coinduction.occ 

--- Universe Polymorphism via Metvariables

( reset )
in examples/universe-polymorphism.occ

--- Axiomatic Subtyping

( reset )
in examples/subtyping.occ

--- Higher Order Abstract Syntax

( reset )
in examples/hoas-hol.occ

--- Executable Rewrite Specifications

( reset )
in examples/automata.occ 
( reset )
in echo/echo-spec.occ
( reset )
in echo/echo-ver.occ