Summary
- adapted to Isabelle/89d19aa73081;
The file was modified | thys/Circus/Circus_Syntax.thy (diff) |
The file was modified | thys/Nominal2/Nominal2.thy (diff) |
The file was modified | thys/Nominal2/nominal_function_core.ML (diff) |
The file was modified | thys/Tycon/tycondef.ML (diff) |