| Thu, 27 Apr 2006 15:06:42 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 27 Apr 2006 15:06:42 +0200 | wenzelm | renamed Source.mapfilter to Source.map_filter; | changeset | files |
| Thu, 27 Apr 2006 15:06:40 +0200 | wenzelm | added map_filter; | changeset | files |
| 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 |