diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-12-15 04:31:01 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-12-15 11:58:21 +0100 |
| commit | fa0b0bedf165812b170cedbce8a5b6cf94a5fadf (patch) | |
| tree | eba010bf66e394286be3e4a7202bb9a84c0d9f12 /engine | |
| parent | 78896394b49b0d8b89c81378f9437e69a86b6363 (diff) | |
Simplifying documentation of "assert form as pat".
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions