diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-21 12:47:26 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-21 12:47:26 +0000 |
| commit | 82edf7bebb62dffb0386f5d78b6871e2523b49e4 (patch) | |
| tree | a6d5027b22acf196102c46af78ace909163a6e69 /examples/tutorial/syntax | |
| parent | 8bffe71cd4af103faaa4276df086aa1b7546844e (diff) | |
support for proof search with high-order functions
Diffstat (limited to 'examples/tutorial/syntax')
0 files changed, 0 insertions, 0 deletions