src/HOL/Hyperreal/transfer.ML
2005-09-12 ago add header
2005-09-12 ago added theorem attributes transfer_intro, transfer_unfold, transfer_refold; simplified some proofs; some rearranging
2005-09-12 ago new implementation of transfer principle