| Wed, 10 Jul 2002 16:54:07 +0200 | paulson | Fixed quantified variable name preservation for ball and bex (bounded quants) | changeset | files |
| Wed, 10 Jul 2002 16:07:52 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 10 Jul 2002 15:07:02 +0200 | schirmer | Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet). | changeset | files |
| Wed, 10 Jul 2002 14:51:18 +0200 | wenzelm | tuned add_thmss; | changeset | files |