equal
deleted
inserted
replaced
414 options [parallel_proofs = 0, quick_and_dirty = false] |
414 options [parallel_proofs = 0, quick_and_dirty = false] |
415 theories [document = false] |
415 theories [document = false] |
416 "~~/src/HOL/Library/Code_Target_Numeral" |
416 "~~/src/HOL/Library/Code_Target_Numeral" |
417 "~~/src/HOL/Library/Monad_Syntax" |
417 "~~/src/HOL/Library/Monad_Syntax" |
418 "~~/src/HOL/Number_Theory/Primes" |
418 "~~/src/HOL/Number_Theory/Primes" |
419 "~~/src/HOL/Number_Theory/UniqueFactorization" |
|
420 "~~/src/HOL/Library/State_Monad" |
419 "~~/src/HOL/Library/State_Monad" |
421 theories |
420 theories |
422 Greatest_Common_Divisor |
421 Greatest_Common_Divisor |
423 Warshall |
422 Warshall |
424 Higman_Extraction |
423 Higman_Extraction |