| Thu, 14 Oct 2010 14:42:05 -0700 | huffman | avoid using Global_Theory.get_thm | changeset | files |
| Thu, 14 Oct 2010 13:46:27 -0700 | huffman | include iso_info as part of constr_info type | changeset | files |
| Thu, 14 Oct 2010 13:28:31 -0700 | huffman | remove function Domain_Theorems.theorems; bind theorem names directly from Domain_Constructors.add_domain_constructors | changeset | files |
| Thu, 14 Oct 2010 10:16:46 -0700 | huffman | add take_strict_thms field to take_info type | changeset | files |
| Thu, 14 Oct 2010 09:44:40 -0700 | huffman | add record type synonym 'constr_info' | changeset | files |
| Thu, 14 Oct 2010 09:34:00 -0700 | huffman | add function take_theorems | changeset | files |
| Thu, 14 Oct 2010 09:28:05 -0700 | huffman | add type annotation to avoid warning | changeset | files |