diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-02-29 13:46:53 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-02-29 13:46:53 +0100 |
| commit | 2d9a7b4323c8f78495ce45917cefdb502c846bbc (patch) | |
| tree | 9c40e18d3e76f812d2998546bd10f13ec7cdf93a /prolog/problems/denotational_semantics | |
| parent | e756acb31c54558ee16a0bbcda13f991b7d4f714 (diff) | |
Hints for aunt/2 improved. Also added to text for predicate_always_false hints.
Diffstat (limited to 'prolog/problems/denotational_semantics')
0 files changed, 0 insertions, 0 deletions