tree 0b23155e9837f4d8ca0a8a771bd3005f549aa6dc
parent 85093656ecea33e71ded7a5342297830eea80af2
author Julian Hyde <julianhyde@gmail.com> 1343626238 -0700
committer Julian Hyde <julianhyde@gmail.com> 1343626238 -0700

QueryableRecorder method definitions are now complete.