changeset 37744 | 3daaf23b9ab4 |
parent 35625 | 9c818cab0dd0 |
child 41228 | e1fce873b814 |
--- a/src/HOL/NSA/transfer.ML Thu Jul 08 16:19:23 2010 +0200 +++ b/src/HOL/NSA/transfer.ML Thu Jul 08 16:19:24 2010 +0200 @@ -1,6 +1,5 @@ -(* Title : HOL/Hyperreal/transfer.ML - ID : $Id$ - Author : Brian Huffman +(* Title: HOL/NSA/transfer.ML + Author: Brian Huffman Transfer principle tactic for nonstandard analysis. *)