disable files in plugins/ (deprecated)
move Superposition into src/calculi
some cleanup, mixtbl added to Env, option handling
added Chaining back (as an extension)
small fix to the extension system
moved literal matching into Literal;
changed its interface so it returns a Sequence
added Monome back, updated to use Zarith and polymorphic
in the type of its coefficients
big changes in Literal:
many variants (total ordering, arith, divisibility);
moved the literal arry stuff to new module Literals;
more abstract view to make literals easier to extend in the future
updated Theories and Ctx so that
Theories only contains pure definitions of what theories are, and
Ctx.Theories statefully remembers which theories are present in the context
implementation of more combinators for Literals, including
comparison under a partial ordering
improvements to Literals
update to the Literal API
updated superposition and chaining
moved things around in Literal (for printing better errors);
bugfixes
more checks for literal triviality
variant, matching and unification for literals and monomes

n-ary operations with a quite general interface implemented;
also, equality for new literals, and conversion hooks
updated Chaining so -chaining-tptp enables chaining and add tptp instance
and conversion hook for inequality
fixes in chaining and literal
print exceptions in Signal handlers;
fix oasis and ocamlinit problems
better position API for Literal and Monome;
bugfix in matching