| #
39a6e7cf |
|
16-Jun-2002 |
Konrad Slind <konrad.slind@gmail.com> |
Fixes to the induction theorems that TFL produces. Changes to recInduct
to reflect this. Other minor changes.
|
| #
79d2dfcc |
|
29-Jan-2002 |
Konrad Slind <konrad.slind@gmail.com> |
Minor fixes to some TFL examples, and fixed a problem whereby the
attempted definition of a schema would fail on the attempt to add
the schema to the global compset, thus scuttling the whole definition
attempt. Now just a message is emitted and the definition attempt
succeeds.
|
| #
ca2a9a92 |
|
19-Nov-2001 |
Konrad Slind <konrad.slind@gmail.com> |
Final fixes to separate schematic definitions from ordinary ones.
Also, some of the examples have been polished a bit.
|
| #
809f1b02 |
|
01-May-2001 |
Konrad Slind <konrad.slind@gmail.com> |
Ongoing hacking
|
| #
064b1ec0 |
|
25-Apr-2000 |
Konrad Slind <konrad.slind@gmail.com> |
Finalized termination proof.
|
| #
61769b4a |
|
23-Mar-2000 |
Konrad Slind <konrad.slind@gmail.com> |
Minor upgrades.
|
| #
5e253c58 |
|
08-Dec-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Small incremental pfaffing about having to do with computeLib/bossLib
upgrades.
|
| #
1ed6f9cf |
|
06-Dec-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Incremental upgrades.
|
| #
66b5f773 |
|
28-Nov-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Um...
|
| #
59140f5e |
|
28-Nov-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Getting rid of junk and moving the sorting stuff to a single location.
|
| #
7c006813 |
|
08-Nov-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Old and new examples that should be tucked away before I lose them again.
|