History log of /seL4-l4v-10.1.1/HOL4/src/pred_set/src/more_theories/ordinalScript.sml
Revision Date Author Comments
# 3ae73b8b 11-Jun-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix up move of hol_sets into src: de-Unicodification; fix one ref

Mention this in release notes.
# f3086187 11-Jun-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Move theories of cardinals and ordinals into src/

They're full of Unicode at the moment, so this needs to be fixed
before self-tests will pass.