• 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
Name
Last commit
Last update
..
coq Loading commit data...
coq-tactic Loading commit data...
isabelle Loading commit data...
ocaml Loading commit data...
pvs Loading commit data...
why3 Loading commit data...
why3-call-pvs Loading commit data...