Skip to content
GitLab
Explore
Sign in
Register
curry
curry-tools
Repository
curry-tools
verification
Examples
Game.curry
Find file
Blame
History
Permalink
Theorem usage modified. Theorems are just properties and do not require prefix theorem'
· 5f6ebaa9
Michael Hanus
authored
Aug 15, 2016
5f6ebaa9