Theory ML_Lists

✐‹creator "Kevin Kappelmann"›
section ‹Monadic Lists›
theory ML_Lists
  imports
    ML_Typeclasses_Base
begin

paragraph ‹Summary›
text ‹Lists with generic failure monad.›

ML_gen_file‹glist.ML›

end