2010-03-08 | huffman | move proofs of reach and take lemmas to domain_take_proofs.ML | changeset | files |
2010-03-08 | huffman | move lemmas from Domain.thy to Domain_Aux.thy | changeset | files |
2010-03-08 | huffman | move take-proofs stuff into new theory Domain_Aux.thy | changeset | files |
2010-03-08 | huffman | add type take_info | changeset | files |
2010-03-08 | huffman | add function add_qualified_def | changeset | files |
2010-03-08 | haftmann | merged | changeset | files |
Loading... |