Next:
Separating Logic and Meta-Logical
Up:
add: Adding Input
Previous:
Options Settings
Contents
Examples
group theory
item
an ordering file
for group theory
intermediate value theorem
an ordering file
for the ivt
intermediate value theorem
based on ...
... a theory of
continuous functions
, based on a theory of ...
...
dense total orderings.
congruence closure
... and an ordering and
directives
file for proving subterm locality of congruence closure
For more examples browse the
examples
directory.
Harald Ganzinger 2002-12-04
Imprint
|
Data Protection
