Diffusion afp-devel 9bd18ac101a7

elimination of some aliases, etc.
9bd18ac101a7
Actions

Tags

None

Subscribers

None

Description

elimination of some aliases, etc.

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP1093d9d3d61f: Completed list of rules for differential invariance.

Branches

Unknown

Tags

Unknown

Reverted By

rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP9bd18ac101a7: elimination of some aliases, etc..Mar 22 2020, 8:01 PM

kleing added a reverting change: rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.Apr 13 2020, 10:27 AM

Changes (12)

Path

Size

thys/

Auto2_HOL/

HOL/

Gauss_Jordan/

List-Infinite/

CommonArith/

ListInf/

LocalLexing/

Derivations.thy

Probabilistic_Timed_Automata/

PTA_Reachability.thy

library/

QR_Decomposition/

Gram_Schmidt.thy

QR_Decomposition.thy

TortoiseHare/

rAFP9bd18ac101a7

thys/Auto2_HOL/HOL/Arith_Thms.thy

Loading...

thys/Gauss_Jordan/Rank.thy

Loading...

thys/List-Infinite/CommonArith/Util_Nat.thy

Loading...

thys/List-Infinite/ListInf/List2.thy

Loading...

thys/LocalLexing/Derivations.thy

Loading...

thys/LocalLexing/Ladder.thy

Loading...

thys/LocalLexing/TheoremD10.thy

Loading...

thys/Probabilistic_Timed_Automata/PTA_Reachability.thy

Loading...

thys/Probabilistic_Timed_Automata/library/Basic.thy

Loading...

thys/QR_Decomposition/Gram_Schmidt.thy

Loading...

thys/QR_Decomposition/QR_Decomposition.thy

Loading...

thys/TortoiseHare/Brent.thy

Loading...