Diffusion Isabelle 1d5872cb52ec

Beautifying an old entry
1d5872cb52ec
Actions

Tags

None

Subscribers

None

Description

Beautifying an old entry

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE5de3772609ea: generalized theory name: euclidean division denotes one particular division…

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE1d5872cb52ec: Beautifying an old entry.Jan 24 2023, 4:04 PM

Changes (1)

Path

Size

src/

HOL/

Induct/

rISABELLE1d5872cb52ec

src/HOL/Induct/PropLog.thy

Loading...