Mercurial > urweb
diff lib/basis.urs @ 269:fac9fae654e2
Cjrize query
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Sep 2008 09:53:15 -0400 |
parents | bacd0ba869e1 |
children | fdd7a698be01 |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Sep 2008 09:53:15 -0400 |
parents | bacd0ba869e1 |
children | fdd7a698be01 |