History log of /seL4-l4v-10.1.1/l4v/tools/c-parser/Simpl/HoareTotal.thy
Revision Date Author Comments
# 011e0845 09-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: new comment syntax

(result of "isabelle update_comments <dirs>")
# 796887d9 11-Jul-2017 Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>

Removes all trailing whitespaces
# f8b1c7d5 24-Oct-2016 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

Isabelle2016-1: update Simpl
# 02412086 28-Jan-2016 Gerwin Klein <gerwin.klein@nicta.com.au>

re-import Simp from AFP
# 45065f6e 17-Apr-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

re-import Simpl from AFP