Sat, 13 Mar 2010 15:51:12 -0800 | huffman | pass take_info as argument to Domain_Theorems.theorems | changeset | files |
Sat, 13 Mar 2010 15:18:25 -0800 | huffman | replace some string arguments with bindings | changeset | files |
Sat, 13 Mar 2010 14:30:38 -0800 | huffman | more consistent use of qualified bindings | changeset | files |