HomeIsabelle/Phabricator
Diffusion afp-devel 3a7847bc58ce

moving lemmas where they belong
3a7847bc58ce
Actions

Description

moving lemmas where they belong

Details

Provenance
blanchetteAuthored on
Parents
rAFP9fdbd41ffa9a: lower case topics following AMS and ACM
Branches
Unknown
Tags
Unknown

Changes (4)

PathSize
thys/
Ordered_Resolution_Prover/

rAFP3a7847bc58ce

View Options

thys/Ordered_Resolution_Prover/Abstract_Substitution.thy

Loading...
View Options

thys/Ordered_Resolution_Prover/FO_Ordered_Resolution.thy

Loading...
View Options

thys/Ordered_Resolution_Prover/FO_Ordered_Resolution_Prover.thy

Loading...
View Options

thys/Ordered_Resolution_Prover/Lazy_List_Liminf.thy

Loading...