src/HOL/NumberTheory/IntFact.thy
Thu, 08 Dec 2005 12:50:04 +0100 wenzelm tuned sources and proofs
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 09 Dec 2004 18:30:59 +0100 nipkow First step in reorganizing Finite_Set
less more (0) -10 -3 tip