Diffusion Isabelle d804e93ae9ff

moved theory Bit_Operations into Main corpus
d804e93ae9ff
Actions

Description

moved theory Bit_Operations into Main corpus

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEfb9c119e5b49: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEd804e93ae9ff: moved theory Bit_Operations into Main corpus.Aug 2 2021, 12:01 PM

Changes (35)

Path

Size

NEWS

src

HOL


	Library/

Decision_Procs/

Parametric_Ferrante_Rackoff.thy

HOLCF/

IOA/

IMP/

Linear_Temporal_Logic_on_Streams.thy

Nominal/

Examples/

ex/

Reflection_Examples.thy

Tree23.thy

rISABELLEd804e93ae9ff

View Options

NEWS

View Options

src/HOL/Bit_Operations.thy

View Options

src/HOL/Boolean_Algebra.thy

View Options

src/HOL/Code_Numeral.thy

View Options

src/HOL/Decision_Procs/Cooper.thy

View Options

src/HOL/Decision_Procs/Ferrack.thy

View Options

src/HOL/Decision_Procs/MIR.thy

View Options

src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy

View Options

src/HOL/Divides.thy

View Options

src/HOL/Fun.thy

View Options

src/HOL/GCD.thy

View Options

src/HOL/Groups_List.thy

View Options

src/HOL/HOLCF/IOA/Pred.thy

View Options

src/HOL/IMP/OO.thy

View Options

src/HOL/Library/Bit_Operations.thy

View Options

src/HOL/Library/Boolean_Algebra.thy

View Options

src/HOL/Library/Library.thy

View Options

src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy

View Options

src/HOL/Library/Word.thy

View Options

src/HOL/Library/Z2.thy

View Options

src/HOL/List.thy

View Options

src/HOL/Main.thy

View Options

src/HOL/Nominal/Examples/Class1.thy

View Options

src/HOL/Numeral_Simprocs.thy

View Options

src/HOL/Parity.thy

View Options

src/HOL/Random.thy

View Options

src/HOL/Set.thy

View Options

src/HOL/Set_Interval.thy

View Options

src/HOL/String.thy

View Options

src/HOL/ex/Meson_Test.thy

View Options

src/HOL/ex/Reflection_Examples.thy

View Options

moved theory Bit_Operations into Main corpusd804e93ae9ffActions

Description

Details

Event Timeline

Changes (35)

rISABELLEd804e93ae9ff

NEWS

src/HOL/Bit_Operations.thy

src/HOL/Boolean_Algebra.thy

src/HOL/Code_Numeral.thy

src/HOL/Decision_Procs/Cooper.thy

src/HOL/Decision_Procs/Ferrack.thy

src/HOL/Decision_Procs/MIR.thy

src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy

src/HOL/Divides.thy

src/HOL/Fun.thy

src/HOL/GCD.thy

src/HOL/Groups_List.thy

src/HOL/HOLCF/IOA/Pred.thy

src/HOL/IMP/OO.thy

src/HOL/Library/Bit_Operations.thy

src/HOL/Library/Boolean_Algebra.thy

src/HOL/Library/Library.thy

src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy

src/HOL/Library/Word.thy

src/HOL/Library/Z2.thy

src/HOL/List.thy

src/HOL/Main.thy

src/HOL/Nominal/Examples/Class1.thy

src/HOL/Numeral_Simprocs.thy

src/HOL/Parity.thy

src/HOL/Random.thy

src/HOL/Set.thy

src/HOL/Set_Interval.thy

src/HOL/String.thy

src/HOL/ex/Meson_Test.thy

src/HOL/ex/Reflection_Examples.thy

src/HOL/ex/Tree23.thy

moved theory Bit_Operations into Main corpus
d804e93ae9ff
Actions