Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. merged;
  2. more specific keyword kinds;
  3. tuned whitespace;
Changeset 10197:c984d517e737 by wenzelm:
merged;
Changeset 10196:803d77368b88 by wenzelm:
more specific keyword kinds;
The file was modified thys/Circus/Circus_Syntax.thy
The file was modified thys/Nominal2/Nominal2.thy
The file was modified thys/Optics/Lens_Instances.thy
The file was modified thys/Simpl/Vcg.thy
The file was modified thys/Tycon/Functor.thy
Changeset 10195:ac847b03d632 by wenzelm:
tuned whitespace;
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Parser.thy
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Parser6.thy