Summary
- tuned;
The file was modified | thys/Applicative_Lifting/applicative.ML (diff) |
The file was modified | thys/Constructor_Funs/constructor_funs.ML (diff) |
The file was modified | thys/Monad_Normalisation/monad_rules.ML (diff) |
The file was modified | thys/Applicative_Lifting/applicative.ML (diff) |
The file was modified | thys/Constructor_Funs/constructor_funs.ML (diff) |
The file was modified | thys/Monad_Normalisation/monad_rules.ML (diff) |