| 2005-03-03 | skalberg | 2005-03-03 | Move towards standard functions. | file | diff | annotate |
| 2005-02-13 | skalberg | 2005-02-13 | Deleted Library.option type. | file | diff | annotate |
| 2004-06-21 | kleing | 2004-06-21 | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2004-06-08 | berghofe | 2004-06-08 | add_dummies no longer uses transform_error but handles specific exception Datatype_Empty instead. | file | diff | annotate |
| 2003-04-27 | berghofe | 2003-04-27 | Fixed problem in add_elim_realizer (concerning inductive predicates with parameters) introduced by last bugfix. | file | diff | annotate |
| 2003-04-23 | berghofe | 2003-04-23 | Fixed problem in add_elim_realizer which caused bound variables to get mixed up. | file | diff | annotate |
| 2002-11-27 | berghofe | 2002-11-27 | Changed format of realizers / correctness proofs. | file | diff | annotate |
| 2002-11-13 | berghofe | 2002-11-13 | New package for constructing realizers for introduction and elimination rules of inductive predicates. | file | diff | annotate |