Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemmas
  2. new tool Code_Lazy
Changeset 68156:7da3af31ca4d by nipkow:
added lemmas
The file was modified src/HOL/List.thy (diff)
Changeset 68155:8b50f29a1992 by Andreas Lochbihler:
new tool Code_Lazy
The file was addedsrc/HOL/Codegenerator_Test/Code_Lazy_Test.thy
The file was addedsrc/HOL/Library/Code_Lazy.thy
The file was addedsrc/HOL/Library/case_converter.ML
The file was addedsrc/HOL/Library/code_lazy.ML
The file was modified src/HOL/Codegenerator_Test/Code_Test_GHC.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Code_Test_MLton.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Code_Test_OCaml.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Code_Test_PolyML.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Code_Test_SMLNJ.thy (diff)
The file was modified src/HOL/Codegenerator_Test/Code_Test_Scala.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/Library/document/root.bib (diff)
The file was modified src/HOL/ROOT (diff)