• Sylvain Dailler's avatar
    Adapt Isabelle realizations to new_system/master · 4dd0cc57
    Sylvain Dailler authored
    This only adapts existing .thy files so that compilation go through.
    Modifications may/(should?) be improved as they were mainly application of
    sledgehammer.
    Compilation should work for both Isabelle2016-1 and Isabelle2017.
    4dd0cc57
Why3_Set.thy.2016-1 3.96 KB