| Fri, 28 Apr 2006 05:58:53 +0200 | mengj | removed the functions for getting HOL helper paths. | changeset | files |
| Thu, 27 Apr 2006 17:48:41 +0200 | berghofe | SplitAt -> chop | changeset | files |
| Thu, 27 Apr 2006 17:48:17 +0200 | berghofe | Adapted to new interface of add_axclass_i. | changeset | files |
| Thu, 27 Apr 2006 17:40:17 +0200 | nipkow | added zip/take/drop lemmas | changeset | files |
| 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 |
| 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 |
| Thu, 27 Apr 2006 01:41:30 +0200 | urbanc | isar-keywords.el | changeset | files |
| Wed, 26 Apr 2006 22:40:46 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Wed, 26 Apr 2006 22:38:16 +0200 | wenzelm | curried Seq.cons; | changeset | files |
| Wed, 26 Apr 2006 22:38:11 +0200 | wenzelm | removed splitAt (superceded by chop); | changeset | files |
| Wed, 26 Apr 2006 22:38:05 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 26 Apr 2006 20:34:11 +0200 | wenzelm | removed obsolete expand_case_tac; | changeset | files |
| Wed, 26 Apr 2006 14:19:13 +0200 | haftmann | fixed silly symlink bug | changeset | files |
| Wed, 26 Apr 2006 07:02:04 +0200 | kleing | added Ben Porter's stuff | changeset | files |
| Wed, 26 Apr 2006 07:01:33 +0200 | kleing | moved arithmetic series to geometric series in SetInterval | changeset | files |
| Tue, 25 Apr 2006 22:23:58 +0200 | wenzelm | Sign.arity_sorts; | changeset | files |
| Tue, 25 Apr 2006 22:23:50 +0200 | wenzelm | unlocalize_mixfix: fallback on NoSyn; | changeset | files |
| Tue, 25 Apr 2006 22:23:41 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 25 Apr 2006 22:23:30 +0200 | wenzelm | refer to structure Type instead of Sorts; | changeset | files |
| Tue, 25 Apr 2006 22:23:24 +0200 | wenzelm | added inter_sort; | changeset | files |
| Tue, 25 Apr 2006 22:23:17 +0200 | wenzelm | added remove_sort; | changeset | files |
| Tue, 25 Apr 2006 22:23:11 +0200 | wenzelm | added arity_number/sorts; | changeset | files |
| Tue, 25 Apr 2006 22:23:04 +0200 | wenzelm | made 'flat' pervasive (again); | changeset | files |