Diffusion afp-devel a03c4e63468f

adjusted Virtual-Substitution from 2021 to devel
a03c4e63468f
Actions

Tags

None

Subscribers

None

Description

adjusted Virtual-Substitution from 2021 to devel

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP2d64f4766089: merge of AFP 2021

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPa03c4e63468f: adjusted Virtual-Substitution from 2021 to devel.Oct 19 2021, 4:48 PM

Changes (7)

Path

Size

thys/

Virtual_Substitution/

ExecutiblePolyProps.thy

GeneralVSProofs.thy

InfinitesimalsUni.thy

MPolyExtension.thy

NegInfinityUni.thy

QuadraticCase.thy

rAFPa03c4e63468f

thys/Virtual_Substitution/ExecutiblePolyProps.thy

Loading...

thys/Virtual_Substitution/GeneralVSProofs.thy

Loading...

thys/Virtual_Substitution/InfinitesimalsUni.thy

Loading...

thys/Virtual_Substitution/MPolyExtension.thy

Loading...

thys/Virtual_Substitution/NegInfinityUni.thy

Loading...

thys/Virtual_Substitution/QE.thy

Loading...

thys/Virtual_Substitution/QuadraticCase.thy

Loading...