Changes

Summary

Changeset 8257:e35ac59eb61f by Andreas Lochbihler: use correct test; delete debug code
The file was modified	`thys/Native_Word/Uint64.thy` (diff)
Changeset 8256:a08d21422281 by Andreas Lochbihler: fix document generation
The file was modified	`thys/Native_Word/Uint64.thy` (diff)
Changeset 8255:9cdc96213bad by Andreas Lochbihler: merged
Changeset 8254:35393cd4863d by Andreas Lochbihler: merged
Changeset 8253:835fe1eb14af by Andreas Lochbihler: NEWS
The file was modified	`metadata/metadata` (diff)
Changeset 8252:c89f86244e3c by Andreas Lochbihler: add support for 64bit native words
The file was added	`thys/Native_Word/Native_Word_Imperative_HOL.thy`
The file was added	`thys/Native_Word/Native_Word_Test_PolyML64.thy`
The file was added	`thys/Native_Word/Uint64.thy`
The file was modified	`thys/Native_Word/Native_Cast.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test_GHC.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test_MLton.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test_OCaml.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test_PolyML.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test_SMLNJ.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test_Scala.thy` (diff)
The file was modified	`thys/Native_Word/ROOT` (diff)
The file was modified	`thys/Native_Word/Uint_Userguide.thy` (diff)