HomeIsabelle/Phabricator
Diffusion afp-devel 5ee9691b6e09

Update ConcurrentIMP
5ee9691b6e09
Actions

Description

Update ConcurrentIMP

Details

Provenance
Peter Gammie <peteg42@gmail.com>Authored on
Parents
rAFP8bf81decb8ac: adapted to isabelle-dev/74be162a47cd: added some renamings that were missed…
Branches
Unknown
Tags
Unknown

Event Timeline

Peter Gammie <peteg42@gmail.com> committed rAFP5ee9691b6e09: Update ConcurrentIMP.Jan 8 2021, 4:11 AM

Changes (19)

PathSize
document/

rAFP5ee9691b6e09

View Options

thys/ConcurrentIMP/CIMP.thy

Loading...
View Options

thys/ConcurrentIMP/CIMP_lang.thy

Loading...
View Options

thys/ConcurrentIMP/CIMP_one_place_buffer_ex.thy

Loading...
View Options

thys/ConcurrentIMP/CIMP_pred.thy

Loading...
View Options

thys/ConcurrentIMP/CIMP_unbounded_buffer_ex.thy

Loading...
View Options

thys/ConcurrentIMP/CIMP_vcg.thy

Loading...
View Options

thys/ConcurrentIMP/CIMP_vcg_rules.thy

Loading...
View Options

thys/ConcurrentIMP/Infinite_Sequences.thy

Loading...
View Options

thys/ConcurrentIMP/LTL.thy

Loading...
View Options

thys/ConcurrentIMP/ROOT

Loading...
View Options

thys/ConcurrentIMP/cimp.ML

Loading...
View Options

thys/ConcurrentIMP/document/root.bib

Loading...
View Options

thys/ConcurrentIMP/document/root.tex

Loading...
View Options

thys/ConcurrentIMP/ex/CIMP_locales.thy

Loading...
View Options

thys/ConcurrentIMP/ex/CIMP_one_place_buffer.thy

Loading...
View Options

thys/ConcurrentIMP/ex/CIMP_unbounded_buffer.thy

Loading...