log tests/tryRpc.ur

age author description
2013-04-16 Adam Chlipala Basis.tryRpc