Summary
- tuned signature;
- tuned signature (see Isabelle/aae510e9a698);
The file was modified | thys/DPT-SAT-Solver/DPT_SAT_Tests.thy (diff) |
The file was modified | thys/Regex_Equivalence/Benchmark.thy (diff) |
The file was modified | thys/Circus/Circus_Syntax.thy (diff) |
The file was modified | thys/ConcurrentIMP/cimp.ML (diff) |
The file was modified | thys/Deriving/generator_aux.ML (diff) |
The file was modified | thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff) |
The file was modified | thys/Nominal2/Nominal2.thy (diff) |
The file was modified | thys/Nominal2/nominal_dt_alpha.ML (diff) |
The file was modified | thys/Nominal2/nominal_dt_rawfuns.ML (diff) |