| Wed, 01 Sep 2010 15:33:59 +0200 | haftmann | replaced Table.map' by Table.map | file | diff | annotate |
| Sat, 28 Aug 2010 16:14:32 +0200 | haftmann | formerly unnamed infix equality now named HOL.eq | file | diff | annotate |
| Wed, 12 May 2010 23:54:02 +0200 | boehmes | integrated SMT into the HOL image | file | diff | annotate |