Diffusion afp-devel 801b10285bb6

merged
801b10285bb6
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rAFPde5e63a46b97: adapted to Isabelle/5727bcc3c47c;
rAFP5c040dde3c39: merge from 2019

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rAFP801b10285bb6: merged.Dec 3 2019, 3:21 PM

Merged Changes

5c040dde3c39 merge from 2019
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
18a95cbde12d build Linear_Programming based on Jordan_Normal_Form (improve build time)
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
9b2518d009e9 adapted to devel (Monda Syntax)
Author
nipkow
Browse Repository
No Builds
No Audits
fef8125d181c added directory-entry in ROOT file of VerifyThis2019 (when merging from AFP…
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
e10739c4e48f merge from AFP 2019
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
600b62ce0cc9 minor adjustment of internal interface of simplex (fun -> mapping),
Author
Max Haslbeck
Browse Repository
No Builds
No Audits
4aa866e937f7 New article Interval_Arithmetic_Word32
Author
nipkow
Browse Repository
No Builds
No Audits
4dea6104b8b0 Frankel -> Fraenkel
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
a52ecfb89eb6 more consistent use of <em> in ZFC-in-HOL abstract
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
3eeac1f452a6 metadata and sitegen for ZFC_in_HOL
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
27b13030b6d6 add Set Theory as new topic (as requested by Larry for his ZFC-in-HOL entry)
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
df656937e97e added missing \isa{.} in abstract
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
b982365e129e new entry: ZFC_in_HOL by Paulson
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
9039e7a9d985 regenerate website
Author
kleing
Browse Repository
No Builds
No Audits
1c273e3f7d94 clarify that repo access is for dev version
Author
kleing
Browse Repository
No Builds
No Audits
79f5a7a6c006 New entry VerifyThis2019
Author
nipkow
Browse Repository
No Builds
No Audits
e30fe5fba4d7 Merged
Author
pruvisto
Browse Repository
No Builds
No Audits
4f482d20a008 adapted to isabelle-dev 954ee5acaae0
Author
pruvisto
Browse Repository
No Builds
No Audits
e8bc925a7952 adapted to Isabelle/0c47c128f9af;
Author
Wenda Li <liwenda1990@hotmail.com>
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 (3)

Path

Size

thys/

Collections/

ICF/

tools/

Locale_Code.thy

Nominal2/

nominal_termination.ML

Partial_Function_MR/

partial_function_mr.ML

rAFP801b10285bb6

thys/Collections/ICF/tools/Locale_Code.thy

Loading...

thys/Nominal2/nominal_termination.ML

Loading...

thys/Partial_Function_MR/partial_function_mr.ML

Loading...