| Sun, 16 Jan 2011 15:53:03 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 18 Nov 2010 17:01:16 +0100 | haftmann | map_pair replaces prod_fun | file | diff | annotate |
| Fri, 27 Aug 2010 10:56:46 +0200 | haftmann | formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj | file | diff | annotate |
| Thu, 01 Jul 2010 16:54:44 +0200 | haftmann | "prod" and "sum" replace "*" and "+" respectively | file | diff | annotate |