src/HOL/Library/FuncSet.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-06-01 paulson 2004-06-01 more on bij_betw
2004-05-19 paulson 2004-05-19 new bij_betw operator
2004-05-14 paulson 2004-05-14 new lemmas
2004-05-06 wenzelm 2004-05-06 tuned document;
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2002-09-27 paulson 2002-09-27 Proof tidying
2002-09-27 paulson 2002-09-27 Tidied. New Pi-theorem.
2002-09-26 paulson 2002-09-26 new theory for Pi-sets, restrict, etc.