Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simplified outer syntax;
Changeset 6507:259f2a26cdfc by wenzelm:
simplified outer syntax;
The file was modified thys/Applicative_Lifting/Applicative.thy (diff)
The file was modified thys/Applicative_Lifting/applicative.ML (diff)
The file was modified thys/Isabelle_Meta_Model/isabelle_home/src/Tools/Code/Isabelle_code_target.thy (diff)
The file was modified thys/Nominal2/nominal_inductive.ML (diff)
The file was modified thys/Partial_Function_MR/partial_function_mr.ML (diff)
The file was modified thys/Refine_Monadic/Refine_Automation.thy (diff)
The file was modified thys/Show/Old_Datatype/Old_Show.thy (diff)