Mercurial > urweb

comparison src/coq/Semantics.v @ 904:6d9538ce94d8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix type class resolution infinite loop, discovered while meeting with Ezra
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Aug 2009 15:23:04 -0400
parents 75c7a69354d6
children 705cb41ac7d0
comparison
equal deleted inserted replaced
903:63114a2e5075 904:6d9538ce94d8