| 2007-07-11 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| 2005-06-17 | haftmann | migrated theory headers to new format | file | diff | annotate |
| 2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2004-05-07 | wenzelm | tuned notation; | file | diff | annotate |
| 2001-02-03 | wenzelm | Induct: converted some theories to new-style format; | file | diff | annotate |
| 2001-01-12 | wenzelm | added Induct/Sigma_Algebra.thy; | file | diff | annotate |