Diffusion afp-devel 53b6f280fa46

removed obselete sorted_sorted_wrt, following Isabelle/06aeb9054c07;
53b6f280fa46
Actions

Tags

None

Subscribers

None

Description

removed obselete sorted_sorted_wrt, following Isabelle/06aeb9054c07;

Details

Provenance

Authored on

Parents

rAFPe4902fc8dcf9: clarified timeout;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP53b6f280fa46: removed obselete sorted_sorted_wrt, following Isabelle/06aeb9054c07;.Oct 2 2021, 12:30 PM

Changes (1)

Path

Size

thys/

Dominance_CHK/

Sorted_Less2.thy

rAFP53b6f280fa46

thys/Dominance_CHK/Sorted_Less2.thy

Loading...