| 2006-08-05 | wenzelm | 2006-08-05 | Amine Chaieb: experimental generic reflection and reification in HOL; | file | diff | annotate |
| 2006-07-11 | kleing | 2006-07-11 | hex and binary numerals (contributed by Rafal Kolanski) | file | diff | annotate |
| 2006-06-15 | nipkow | 2006-06-15 | *** empty log message *** | file | diff | annotate |
| 2006-05-16 | wenzelm | 2006-05-16 | Amine Chaieb: Ferrante and Rackoff Algorithm; | file | diff | annotate |
| 2006-04-26 | kleing | 2006-04-26 | added Ben Porter's stuff | file | diff | annotate |
| 2005-10-15 | wenzelm | 2005-10-15 | more; | file | diff | annotate |
| 2005-09-25 | wenzelm | 2005-09-25 | more; | file | diff | annotate |
| 2005-09-21 | wenzelm | 2005-09-21 | tuned; | file | diff | annotate |
| 2005-09-21 | wenzelm | 2005-09-21 | tuned; | file | diff | annotate |
| 2005-09-21 | wenzelm | 2005-09-21 | tuned; | file | diff | annotate |
| 2005-09-20 | wenzelm | 2005-09-20 | HOL/ex/Chinese.thy; | file | diff | annotate |
| 2005-09-20 | wenzelm | 2005-09-20 | more contributions; | file | diff | annotate |
| 2005-09-14 | wenzelm | 2005-09-14 | Bernhard Haeupler: comm_ring; | file | diff | annotate |
| 2005-07-19 | wenzelm | 2005-07-19 | more contribs; | file | diff | annotate |
| 2005-07-18 | haftmann | 2005-07-18 | reverted from fold_yield to fold_map | file | diff | annotate |
| 2005-07-15 | wenzelm | 2005-07-15 | *** empty log message *** | file | diff | annotate |
| 2005-06-05 | wenzelm | 2005-06-05 | Lucas Dixon; | file | diff | annotate |
| 2005-05-17 | wenzelm | 2005-05-17 | proper Id line; | file | diff | annotate |
| 2005-05-17 | wenzelm | 2005-05-17 | updated; | file | diff | annotate |
| 2005-05-17 | wenzelm | 2005-05-17 | added; | file | diff | annotate |