History log of /seL4-l4v-master/HOL4/examples/AI_tasks/mleDiophProve.sml
Revision Date Author Comments
# bcd916d1 21-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

complete README + update build sequence


# 75ecbffc 20-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

remove trailing white spaces


# 0a150dbf 20-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

trying to fix term syntax error


# 2a6d22ae 20-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

trying to fix term syntax error


# 0cc0b07d 20-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

verification of the solutions