Isabelle/Bali2

Isabelle/Bali2_ASCII

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

$\/$ $/\$ Basis
$\/$ $/\$ Table
$\/$ $/\$ Type
$\/$ $/\$ Term
$\/$ $/\$ Decl
$\/$ $/\$ TypeRel
$\/$ $/\$ WellType
$\/$ $/\$ WellForm
$\/$ $/\$ State
$\/$ $/\$ Eval
$\/$ $/\$ Example
$\/$ $/\$ Trans