| Thu, 27 Apr 2006 15:06:39 +0200 | wenzelm | renamed mapfilter to map_filter, made pervasive (again); | changeset | files |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | changeset | files |
| Thu, 27 Apr 2006 12:11:56 +0200 | paulson | renamed HOLogic.mk_bin to mk_binum for consistency with dest_binum | changeset | files |
| Thu, 27 Apr 2006 12:11:05 +0200 | paulson | slight shortening of blacklist | changeset | files |
| Thu, 27 Apr 2006 12:10:47 +0200 | paulson | cosmetic changes | changeset | files |
| Thu, 27 Apr 2006 12:09:32 +0200 | paulson | some new functions | changeset | files |