src/HOL/Library/FuncSet.thy
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.