adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
lh-l4v/lib/Word_Lib
History
Gerwin Klein 09117a690b word_lib: run isabelle update_then for new style and fun 2016-05-16 21:11:40 +10:00
..
Aligned.thy word_lib: run isabelle update_then for new style and fun 2016-05-16 21:11:40 +10:00
Enumeration.thy word_lib: run isabelle update_then for new style and fun 2016-05-16 21:11:40 +10:00
HOL_Lemmas.thy word_lib: run isabelle update_then for new style and fun 2016-05-16 21:11:40 +10:00
Hex_Words.thy word_lib: use cartouches 2016-05-16 21:11:40 +10:00
More_Divides.thy lib: closure for Word_Lib and own session 2016-05-16 21:11:40 +10:00
Norm_Words.thy word_lib: use cartouches 2016-05-16 21:11:40 +10:00
ROOT lib: closure for Word_Lib and own session 2016-05-16 21:11:40 +10:00
Signed_Words.thy word_lib: use cartouches 2016-05-16 21:11:40 +10:00
WordBitwise_Signed.thy word_lib: use cartouches 2016-05-16 21:11:40 +10:00
Word_Enum.thy word_lib: AFP naming conventions 2016-05-16 21:11:40 +10:00
Word_Lemmas.thy word_lib: run isabelle update_then for new style and fun 2016-05-16 21:11:40 +10:00
Word_Lemmas_32.thy word_lib: adjust theory dependencies 2016-05-16 21:11:40 +10:00
Word_Lib.thy word_lib: adjust theory dependencies 2016-05-16 21:11:40 +10:00
Word_Setup_32.thy word_lib: use cartouches 2016-05-16 21:11:40 +10:00
Word_Syntax.thy word_lib: use cartouches 2016-05-16 21:11:40 +10:00