diff options
| author | krasimir <krasimir@chalmers.se> | 2010-06-06 12:10:49 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-06-06 12:10:49 +0000 |
| commit | 218beec02c3a8572ed99db9799aa2d36ea011f51 (patch) | |
| tree | 4d5888ea86fb64c491f200e4e748c6ad5cd0ef51 /examples/tutorial/embedded | |
| parent | 54f40a135f2dff103a531fe0e71d4c55f17d6a3e (diff) | |
definitions for some high-order predicates that were missing
Diffstat (limited to 'examples/tutorial/embedded')
0 files changed, 0 insertions, 0 deletions