Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more operations on types and terms; abstract syntax operations for Pure and HOL;
  2. clarified jEdit java sources;
  3. clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
  4. removed junk;
  5. moved theory Bit_Operations into Main corpus
Changeset 74105:d3d6e01a6b00 by wenzelm:
more operations on types and terms;<br>abstract syntax operations for Pure and HOL;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/ROOT (diff)
Changeset 74104:fa92c5f8af86 by wenzelm:
clarified jEdit java sources;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 74103:3b56d00ac333 by wenzelm:
clarified build.gradle: &quot;compile&quot; stopped working in gradle 6.x / 7.x for unknown reasons;
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 74102:0572c733d12d by wenzelm:
removed junk;
The file was modified src/HOL/Main.thy (diff)
Changeset 74101:d804e93ae9ff by haftmann:
moved theory Bit_Operations into Main corpus
The file was addedsrc/HOL/Bit_Operations.thy
The file was addedsrc/HOL/Boolean_Algebra.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Decision_Procs/Cooper.thy (diff)
The file was modified src/HOL/Decision_Procs/Ferrack.thy (diff)
The file was modified src/HOL/Decision_Procs/MIR.thy (diff)
The file was modified src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/HOLCF/IOA/Pred.thy (diff)
The file was modified src/HOL/IMP/OO.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/Library/Z2.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Main.thy (diff)
The file was modified src/HOL/Nominal/Examples/Class1.thy (diff)
The file was modified src/HOL/Numeral_Simprocs.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Random.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/String.thy (diff)
The file was modified src/HOL/ex/Meson_Test.thy (diff)
The file was modified src/HOL/ex/Reflection_Examples.thy (diff)
The file was modified src/HOL/ex/Tree23.thy (diff)
The file was removedsrc/HOL/Library/Bit_Operations.thy
The file was removedsrc/HOL/Library/Boolean_Algebra.thy