Diffusion afp-devel cd86f83a05bb

merge from afp-2019
cd86f83a05bb
Actions

Tags

None

Subscribers

None

Description

merge from afp-2019

Details

Provenance

Authored on

Parents

rAFP1a623915bf3f: Simpl: adjust syntax modifiers to work with abbreviations (Edward Pierzchalski)
rAFP72f2f7d150d6: re-instate devel changeset 6edffc003761

Branches

Unknown

Tags

Unknown

Event Timeline

Merged Changes

72f2f7d150d6 re-instate devel changeset 6edffc003761
Author
kleing
Browse Repository
No Builds
No Audits
753dc504efaf reset version to devel after release fork
Author
kleing
Browse Repository
No Builds
No Audits
a0d561998f20 closed branch
Author
kleing
Browse Repository
No Builds
No Audits
8e995d947fb0 closed pull-request branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
249c2b58d173 closed merged branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
ad14484777fc merged
Author
gerwin.klein@nicta.com.au
Browse Repository
No Builds
No Audits
e3e858bfc9eb merged
Author
kleing
Browse Repository
No Builds
No Audits
4bea345493dd Closed branch ltl
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits
53421953ad96 WIP/LTL Entry
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (6)

Path

Size

thys/

Safe_OCL/

OCL_Examples.thy

Simpl/

hoare_syntax.ML

Word_Lib/

Enumeration.thy

Word_Lemmas.thy

rAFPcd86f83a05bb

thys/Safe_OCL/OCL_Examples.thy

Loading...

thys/Simpl/hoare_syntax.ML

Loading...

thys/Word_Lib/Enumeration.thy

Loading...

thys/Word_Lib/Word_Enum.thy

Loading...

thys/Word_Lib/Word_Lemmas.thy

Loading...

thys/Word_Lib/Word_Lib.thy

Loading...