#
e1393ea0 |
|
18-Oct-2008 |
Konrad Slind <konrad.slind@gmail.com> |
Mods to get examples working again.
|
#
d8c67728 |
|
21-Oct-2004 |
Konrad Slind <konrad.slind@gmail.com> |
Tarting up bfs, to use mighty METIS_TAC, among other things.
|
#
10209c3a |
|
17-Jun-2002 |
Konrad Slind <konrad.slind@gmail.com> |
Removing subst.set until I get it to work. It duplicates much of subst.list anyway.
|
#
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.
|
#
29ab3b31 |
|
08-Dec-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Upgrades.
|
#
62dd8b0e |
|
06-Dec-1999 |
Konrad Slind <konrad.slind@gmail.com> |
Some schema examples.
|