src/HOL/Library/Permutation.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-22 paulson 2004-07-22 new material courtesy of Norbert Voelker
2004-06-24 paulson 2004-06-24 Norbert Voelker
2004-05-06 wenzelm 2004-05-06 tuned document;
2001-02-16 paulson 2001-02-16 Blast bug fix made old proof too slow
2001-02-04 wenzelm 2001-02-04 moved from Induct/ to Library/