Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
core
model
ocarina-analyzer-real.adb
Find file
Blame
History
Permalink
* Reset list of theorems to run
· 46cd5ac2
Jerome Hugues
authored
Jun 17, 2016
46cd5ac2