Isabelle/Sequents

# HG changeset patch # User paulson # Date 847706144 -3600 # Node ID 61b806c6dabd4d88a3e07b320fec6c72618741ed # Parent 91b4161a28e584c8a32e79790a2143509fdb2a37 Should never have been added in the first place diff -r 91b4161a28e5 -r 61b806c6dabd src/Sequents/index.html --- a/src/Sequents/index.html Fri Nov 08 16:32:57 1996 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,15 +0,0 @@ -Isabelle/Sequents -

Isabelle/Sequents

-The name of every theory is linked to its theory file
- $\/$ stands for subtheories (child theories)
- $/\$ stands for supertheories (parent theories)

-Back to the index of Isabelle logics -
View the ReadMe file. -

$\/$ $/\$ Sequents
- $\/$ $/\$ LK
- $\/$ $/\$ ILL
- $\/$ $/\$ Modal0
- $\/$ $/\$ T
- $\/$ $/\$ S4
- $\/$ $/\$ S43
- \ No newline at end of file