log tests/query.ur

age author description
2008-08-31 Adam Chlipala Monoized binary operators
2008-08-31 Adam Chlipala Monoized a WHERE clause with a comparison
2008-08-31 Adam Chlipala Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
2008-08-31 Adam Chlipala Corify transaction wrappers
2008-08-31 Adam Chlipala Laconic -> Ur base tests/query.lac@833b615e43a2