Skip to content
Success

Changes

Summary

  1. tuned signature;
  2. tuned signature (see Isabelle/aae510e9a698);
Changeset 6410:c6e62e86efaa by wenzelm:
tuned signature;
The file was modified thys/DPT-SAT-Solver/DPT_SAT_Tests.thy (diff)
The file was modified thys/Regex_Equivalence/Benchmark.thy (diff)
Changeset 6409:7dd2cd087a03 by wenzelm:
tuned signature (see Isabelle/aae510e9a698);
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)