src/HOL/ex/Intuitionistic.thy
2011-01-07 bulwahn 2011-01-07 removing obselete Id comments from HOL/ex theories
2005-09-22 nipkow 2005-09-22 renamed rules to iprover
2005-09-14 wenzelm 2005-09-14 tuned headers etc.;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-12-10 berghofe 2001-12-10 Added example file for intuitionistic logic (taken from FOL).