#
24ce7901 |
|
18-Dec-2001 |
Konrad Slind <konrad.slind@gmail.com> |
swapping out "theorem" in favour of "fetch".
|
#
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.
|
#
abb9e69b |
|
01-Mar-2001 |
Konrad Slind <konrad.slind@gmail.com> |
Minor changes.
|
#
af3c6775 |
|
31-Jan-2001 |
Konrad Slind <konrad.slind@gmail.com> |
ctl is Daryl Stewart's formalization of the CTL logic.
|
#
818fa4b8 |
|
31-Jan-2001 |
Konrad Slind <konrad.slind@gmail.com> |
New example, showing use of schemes.
|