#920 (Jun 2, 2017, 9:29:11 AM)

1. Moved Imperative HOL fixes from Separation_Logic_Imperative_HOL to Isabelle/HOL/Library/Imperative HOL (detail / hgweb)
2. Changed to work with non IntInf default int type (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 31 min total from scheduled to completion.