| Sat, 13 Mar 2010 17:36:53 -0800 | huffman | merged | changeset | files |
| Sat, 13 Mar 2010 17:05:34 -0800 | huffman | pass binding as argument to add_domain_constructors; proper binding for case combinator | changeset | files |
| Sat, 13 Mar 2010 16:48:57 -0800 | huffman | pass domain binding as argument to Domain_Theorems.theorems; proper qualified bindings for theorem names | changeset | files |
| 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 |
| Sat, 13 Mar 2010 14:26:26 -0800 | huffman | avoid unnecessary primed variable names | changeset | files |
| Sat, 13 Mar 2010 12:24:50 -0800 | huffman | remove redundant lemmas | changeset | files |