Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper test for type constructor;
  2. more Isabelle/Haskell operations;
  3. more Isabelle/Haskell operations;
  4. merged
  5. tuned;
  6. more scalable data structure (but: rarely used with > 5 arguments);
  7. Backed out changeset d4af818e0880
Changeset 74205:5f0f0553762f by wenzelm:
proper test for type constructor;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74204:c832f35ea571 by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74203:92f08f3d77bd by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74202:10455384a3e5 by wenzelm:
merged
Changeset 74201:c36b663ef037 by wenzelm:
tuned;
The file was modified src/Pure/variable.ML (diff)
Changeset 74200:17090e27aae9 by wenzelm:
more scalable data structure (but: rarely used with > 5 arguments);
The file was modified src/Doc/Implementation/Logic.thy (diff)
The file was modified src/HOL/Eisbach/match_method.ML (diff)
The file was modified src/HOL/Library/cconv.ML (diff)
The file was modified src/HOL/Library/code_lazy.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_rec_sugar_tactics.ML (diff)
The file was modified src/HOL/Tools/Ctr_Sugar/ctr_sugar_code.ML (diff)
The file was modified src/HOL/Tools/Function/induction_schema.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_replay_methods.ML (diff)
The file was modified src/HOL/Tools/Transfer/transfer.ML (diff)
The file was modified src/Pure/Isar/local_defs.ML (diff)
The file was modified src/Pure/drule.ML (diff)
The file was modified src/Pure/goal.ML (diff)
The file was modified src/Pure/more_thm.ML (diff)
The file was modified src/Pure/proofterm.ML (diff)
The file was modified src/Pure/term_subst.ML (diff)
The file was modified src/Pure/thm.ML (diff)
The file was modified src/Pure/variable.ML (diff)
Changeset 74199:bf9871795aeb by kevin kappelmann _kevin.kappelmann@tum.de_:
Backed out changeset d4af818e0880
The file was modified src/Tools/ROOT (diff)
The file was removedsrc/Tools/Spec_Check/Examples.thy
The file was removedsrc/Tools/Spec_Check/README
The file was removedsrc/Tools/Spec_Check/Spec_Check.thy
The file was removedsrc/Tools/Spec_Check/base_generator.ML
The file was removedsrc/Tools/Spec_Check/gen_construction.ML
The file was removedsrc/Tools/Spec_Check/generator.ML
The file was removedsrc/Tools/Spec_Check/output_style.ML
The file was removedsrc/Tools/Spec_Check/property.ML
The file was removedsrc/Tools/Spec_Check/random.ML
The file was removedsrc/Tools/Spec_Check/spec_check.ML