| 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 |
| Tue, 25 Apr 2006 22:22:58 +0200 | wenzelm | get_info: removed 'super' field; | changeset | files |
| Mon, 24 Apr 2006 16:37:52 +0200 | haftmann | seperated typedef codegen from main code | changeset | files |
| Mon, 24 Apr 2006 16:37:37 +0200 | haftmann | more precise tactics | changeset | files |
| Mon, 24 Apr 2006 16:37:07 +0200 | haftmann | fixed typo | changeset | files |
| Mon, 24 Apr 2006 16:36:34 +0200 | haftmann | more precise data structure | changeset | files |
| Mon, 24 Apr 2006 16:36:07 +0200 | haftmann | cleaned up some diagnostic mathom | changeset | files |
| Mon, 24 Apr 2006 16:35:30 +0200 | haftmann | moved coalesce to AList, added equality predicates to library | changeset | files |