Session Normalisation
View
theory dependencies
View
document
View
outline
Theories
Prop_Abstract_Transformation
Prop_Normalisation
Prop_Logic_Multiset