Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more Isabelle/Haskell operations;
  3. more Isabelle/Haskell operations;
  4. tuned;
  5. more Isabelle/Haskell operations;
  6. reflect moved theories
  7. unhide canonical function def examples
  8. merged
  9. merged
  10. Backed out changeset fe8d0f4da0e6
  11. more Isabelle/Haskell operations;
Changeset 74198:f54b061c2c22 by wenzelm:
merged
Changeset 74197:1f78a40e4399 by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74196:6dc7ff326906 by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74195:30e2e44baa57 by wenzelm:
tuned;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74194:ffe24c7da1c6 by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74193:2b00c267196e by nipkow:
reflect moved theories
The file was modified src/HOL/ROOT (diff)
Changeset 74192:852df4f1dbfa by nipkow:
unhide canonical function def examples
The file was addedsrc/HOL/Examples/Functions.thy
The file was removedsrc/HOL/ex/Functions.thy
Changeset 74191:ec947c18e060 by nipkow:
merged
Changeset 74190:9a1796acd0a4 by nipkow:
merged
Changeset 74189:d4af818e0880 by nipkow:
Backed out changeset fe8d0f4da0e6
The file was addedsrc/Tools/Spec_Check/Examples.thy
The file was addedsrc/Tools/Spec_Check/README
The file was addedsrc/Tools/Spec_Check/Spec_Check.thy
The file was addedsrc/Tools/Spec_Check/base_generator.ML
The file was addedsrc/Tools/Spec_Check/gen_construction.ML
The file was addedsrc/Tools/Spec_Check/generator.ML
The file was addedsrc/Tools/Spec_Check/output_style.ML
The file was addedsrc/Tools/Spec_Check/property.ML
The file was addedsrc/Tools/Spec_Check/random.ML
The file was addedsrc/Tools/Spec_Check/spec_check.ML
The file was modified src/Tools/ROOT (diff)
Changeset 74188:ea10e06adede by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)