diff options
| author | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-12-05 11:48:15 +0100 |
|---|---|---|
| committer | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-12-05 11:48:15 +0100 |
| commit | 413bb73adaee77e8c1ab1c5721b13d9b6f756a7a (patch) | |
| tree | ea922b5e9ef933cc5f97c303cadd820a19a0f80f /prolog/problems/denotational_semantics | |
| parent | b9e78f3b26f3a6bc8ffd0ad2a2eeeba7184b51af (diff) | |
Fix some instructions.
Diffstat (limited to 'prolog/problems/denotational_semantics')
0 files changed, 0 insertions, 0 deletions