mbirth/opal-examples
Archived
1
0
Fork 0
Code Pull Requests Activity
This repository has been archived on 2025-03-31. You can view files and clone it, but cannot push or open issues or pull requests.
opal-examples/Blatt07/blatt7.sign
Markus Birth 3224d100da Initial commit
2013-10-19 01:17:37 +02:00

7 lines
98 B
Plaintext
Raw Permalink Blame History

SIGNATURE blatt7
IMPORT Nat COMPLETELY
IMPORT Seq COMPLETELY
IMPORT Denotation COMPLETELY
View Git Blame Copy Permalink