Diffusion Isabelle c7038c397ae3

moved most material from session HOL-Word to Word_Lib in the AFP
c7038c397ae3
Actions

Description

moved most material from session HOL-Word to Word_Lib in the AFP

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEd8661799afb2: removed dependency

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEc7038c397ae3: moved most material from session HOL-Word to Word_Lib in the AFP.Oct 29 2020, 11:03 AM

Changes (37)

Path

Size

NEWS

src

Doc/

System/

Codegenerator_Test/

	Library/
	Word/

Tools/

SMT_Examples/

SMT_Word_Examples.thy

SPARK/

Examples/

RIPEMD-160/

Bit_Comprehension.thy

Reversed_Bit_Lists.thy

ex/

rISABELLEc7038c397ae3

View Options

NEWS

View Options

src/Doc/System/Server.thy

View Options

src/Doc/System/Sessions.thy

View Options

src/HOL/Codegenerator_Test/Candidates.thy

View Options

src/HOL/Library/Library.thy

View Options

src/HOL/Library/Tools/smt_word.ML

View Options

src/HOL/Library/Tools/word_lib.ML

View Options

src/HOL/Library/Word.thy

View Options

src/HOL/ROOT

View Options

src/HOL/SMT_Examples/SMT_Word_Examples.thy

View Options

src/HOL/SPARK/Examples/RIPEMD-160/RMD.thy

View Options

src/HOL/SPARK/SPARK_Setup.thy

View Options

src/HOL/Word/Ancient_Numeral.thy

View Options

src/HOL/Word/Bit_Comprehension.thy

View Options

src/HOL/Word/Misc_Arithmetic.thy

View Options

src/HOL/Word/Misc_Auxiliary.thy

View Options

src/HOL/Word/Misc_Typedef.thy

View Options

src/HOL/Word/Misc_lsb.thy

View Options

src/HOL/Word/Misc_msb.thy

View Options

src/HOL/Word/Misc_set_bit.thy

View Options

src/HOL/Word/More_Word.thy

View Options

src/HOL/Word/Reversed_Bit_Lists.thy

View Options

src/HOL/Word/Tools/smt_word.ML

View Options

src/HOL/Word/Tools/word_lib.ML

View Options

src/HOL/Word/Word.thy

View Options

src/HOL/Word/Word_Examples.thy

View Options

src/HOL/Word/Word_rsplit.thy

View Options

src/HOL/Word/document/root.bib

View Options

src/HOL/Word/document/root.tex

View Options

moved most material from session HOL-Word to Word_Lib in the AFPc7038c397ae3Actions

Description

Details

Event Timeline

Changes (37)

rISABELLEc7038c397ae3

NEWS

src/Doc/System/Server.thy

src/Doc/System/Sessions.thy

src/HOL/Codegenerator_Test/Candidates.thy

src/HOL/Library/Library.thy

src/HOL/Library/Tools/smt_word.ML

src/HOL/Library/Tools/word_lib.ML

src/HOL/Library/Word.thy

src/HOL/ROOT

src/HOL/SMT_Examples/SMT_Word_Examples.thy

src/HOL/SPARK/Examples/RIPEMD-160/RMD.thy

src/HOL/SPARK/SPARK_Setup.thy

src/HOL/Word/Ancient_Numeral.thy

src/HOL/Word/Bit_Comprehension.thy

src/HOL/Word/Misc_Arithmetic.thy

src/HOL/Word/Misc_Auxiliary.thy

src/HOL/Word/Misc_Typedef.thy

src/HOL/Word/Misc_lsb.thy

src/HOL/Word/Misc_msb.thy

src/HOL/Word/Misc_set_bit.thy

src/HOL/Word/More_Word.thy

src/HOL/Word/Reversed_Bit_Lists.thy

src/HOL/Word/Tools/smt_word.ML

src/HOL/Word/Tools/word_lib.ML

src/HOL/Word/Word.thy

src/HOL/Word/Word_Examples.thy

src/HOL/Word/Word_rsplit.thy

src/HOL/Word/document/root.bib

src/HOL/Word/document/root.tex

src/HOL/ex/Bit_Lists.thy

moved most material from session HOL-Word to Word_Lib in the AFP
c7038c397ae3
Actions