Diffusion afp-devel 5d6db6d1389b

tuned whitespace --- removed suspicious Unicode;
5d6db6d1389b
Actions

Tags

None

Subscribers

None

Description

tuned whitespace --- removed suspicious Unicode;

Details

Provenance

Authored on

Parents

rAFP43ab95a583be: proper Unix linefeeds;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP5d6db6d1389b: tuned whitespace --- removed suspicious Unicode;.Nov 9 2021, 5:51 PM

Changes (1)

Path

Size

thys/

Modular_arithmetic_LLL_and_HNF_algorithms/

HNF_Mod_Det_Soundness.thy

rAFP5d6db6d1389b

thys/Modular_arithmetic_LLL_and_HNF_algorithms/HNF_Mod_Det_Soundness.thy

Loading...