Diffusion afp-devel 16f5e2769f1b

Merged.
16f5e2769f1b
Actions

Tags

None

Subscribers

None

Description

Merged.

Details

Provenance

Eugene W. Stark <stark@cs.stonybrook.edu>

Authored on

Parents

rAFPe8939a7952f7: Update metadata to reflect changes made in July, 2021.
rAFP5fee9e3ac452: tuned signature, according to Isabelle/042041c0ebeb;

Branches

Unknown

Tags

Unknown

Event Timeline

Eugene W. Stark <stark@cs.stonybrook.edu> committed rAFP16f5e2769f1b: Merged..Oct 21 2021, 12:03 PM

Merged Changes

e8939a7952f7 Update metadata to reflect changes made in July, 2021.
Author
Eugene W. Stark <stark@cs.stonybrook.edu>
Browse Repository
No Builds
No Audits
214d269370b1 Add a revision note concerning material added in July, 2021.
Author
Eugene W. Stark <stark@cs.stonybrook.edu>
Browse Repository
No Builds
No Audits
323c29c97a1e close merged branch
Author
kleing
Browse Repository
No Builds
No Audits
fd1d5b3fdd7c close branch
Author
kleing
Browse Repository
No Builds
No Audits
daa87ea0470c close branch
Author
kleing
Browse Repository
No Builds
No Audits
f7321f5a8909 close branch
Author
kleing
Browse Repository
No Builds
No Audits
a040f98f10ef close branch
Author
kleing
Browse Repository
No Builds
No Audits
ff876ac75e44 close branch
Author
kleing
Browse Repository
No Builds
No Audits
3b5ff4b8d37d Closing branch "devel"
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 (10)

Path

Size

thys/

Akra_Bazzi/

Auto2_HOL/

Automatic_Refinement/

Lib/

Mk_Term_Antiquot.thy

Mpat_Antiquot.thy

Refine_Util.thy

Collections/

ICF/

tools/

Constructor_Funs/

constructor_funs.ML

IMP2/

lib/

named_simpsets.ML

Lazy_Case/

Refine_Monadic/

Refine_Automation.thy

rAFP16f5e2769f1b

thys/Akra_Bazzi/akra_bazzi.ML

Loading...

thys/Auto2_HOL/util.ML

Loading...

thys/Automatic_Refinement/Lib/Mk_Term_Antiquot.thy

Loading...

thys/Automatic_Refinement/Lib/Mpat_Antiquot.thy

Loading...

thys/Automatic_Refinement/Lib/Refine_Util.thy

Loading...

thys/Collections/ICF/tools/ICF_Tools.thy

Loading...

thys/Constructor_Funs/constructor_funs.ML

Loading...

thys/IMP2/lib/named_simpsets.ML

Loading...

thys/Lazy_Case/lazy_case.ML

Loading...

thys/Refine_Monadic/Refine_Automation.thy

Loading...