closer to compiling
manual code generator setup for codatatypes is obsolete
merged
new entry
compile after 'rec_option' / 'case_option' split
merge
new entry
new entry
new entry, but also checking Strong_Security in again (why??)
corrected metadata and regenerated
avoid non-standard simp default rule
corrected email address
merged from afp-2013-2
adapt to Isabelle/13b0fc4ece42
restore
exempt bad document from being processed
repaired document instead of suppressing it
Added PerformanceTest
add to AFP group
merged from afp-2013-2