Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified operations (see Isabelle/9e712280cc37);
Changeset 8839:33f74501932d by wenzelm:
clarified operations (see Isabelle/9e712280cc37);
The file was modified thys/Automatic_Refinement/Lib/Prio_List.thy (diff)
The file was modified thys/Case_Labeling/casify.ML (diff)
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Parser.thy (diff)
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Parser6.thy (diff)
The file was modified thys/Show/show_generator.ML (diff)