HomeIsabelle/Phabricator
Diffusion Isabelle e2d03448d5b5

get rid of traditional predicate
e2d03448d5b5
Actions

Description

get rid of traditional predicate

Details

Provenance
florian.haftmannAuthored on
Parents
rISABELLEf5a77ee9106c: proper treatment of process_result;
Branches
Unknown
Tags
Unknown

Changes (6)

PathSize
src/
HOL/
Algebra/
Computational_Algebra/
Library/

rISABELLEe2d03448d5b5

View Options

NEWS

Loading...
View Options

src/HOL/Algebra/Polynomial_Divisibility.thy

Loading...
View Options

src/HOL/Computational_Algebra/Factorial_Ring.thy

Loading...
View Options

src/HOL/Computational_Algebra/Primes.thy

Loading...
View Options

src/HOL/Library/DAList_Multiset.thy

Loading...
View Options

src/HOL/Library/Multiset.thy

Loading...