Mercurial > urweb
comparison src/coq/Axioms.v @ 1212:fc33072c4d33
Replaced Select predicate with special-case handling for one-or-no-rows queries
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 06 Apr 2010 15:17:28 -0400 |
| parents | be88d2d169f6 |
| children |
comparison
equal
deleted
inserted
replaced
| 1211:1d4d65245dd3 | 1212:fc33072c4d33 |
|---|