BV_ASCII

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

$\/$ $/\$ Types
$\/$ $/\$ Convert
$\/$ $/\$ WT
$\/$ $/\$ Correct
$\/$ $/\$ Proof