Isabelle/Bali1

Isabelle/Bali1_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
$\/$ $/\$ Prog
$\/$ $/\$ TypeRel
$\/$ $/\$ WellType
$\/$ $/\$ WellForm
$\/$ $/\$ State
$\/$ $/\$ Eval
$\/$ $/\$ Trans