Session Monad_Normalisation
View
theory dependencies
View
document
View
outline
Theories
Monad_Normalisation
File ‹monad_rules.ML›
File ‹monad_normalisation.ML›
Monad_Normalisation_Test