| Tue, 14 Jul 2009 12:18:52 +0200 | wenzelm | removed obsolete/unused legacy_unvarify; | changeset | files |
| Tue, 14 Jul 2009 12:10:44 +0200 | wenzelm | tuned prepare_patternT: Term.exists_subtype; | changeset | files |
| Tue, 14 Jul 2009 12:10:01 +0200 | wenzelm | tuned paramify_vars: Term_Subst.map_atypsT_option; | changeset | files |
| Tue, 14 Jul 2009 10:56:43 +0200 | haftmann | merged | changeset | files |
| Tue, 14 Jul 2009 10:54:54 +0200 | haftmann | updated to changes in sources; tuned | changeset | files |
| Tue, 14 Jul 2009 10:54:21 +0200 | haftmann | updated to changes in sources; tuned | changeset | files |
| Tue, 14 Jul 2009 10:54:04 +0200 | haftmann | code attributes use common underscore convention | changeset | files |
| Tue, 14 Jul 2009 10:53:44 +0200 | haftmann | NEWS and CONTRIBUTORS | changeset | files |
| Mon, 13 Jul 2009 19:07:05 +0200 | berghofe | Tuned proof of lcm_1_iff_int, because metis produced enormous proof term. | changeset | files |
| Sun, 12 Jul 2009 14:48:01 +0200 | nipkow | more gcd/lcm lemmas | changeset | files |
| Sun, 12 Jul 2009 11:36:09 +0200 | nipkow | typo | changeset | files |
| Sun, 12 Jul 2009 11:25:56 +0200 | nipkow | resolvd conflict | changeset | files |
| Sun, 12 Jul 2009 10:14:51 +0200 | nipkow | More about gcd/lcm, and some cleaning up | changeset | files |
| Sat, 11 Jul 2009 21:33:01 +0200 | haftmann | added boolean_algebra type class; tuned lattice duals | changeset | files |
| Fri, 10 Jul 2009 09:24:50 +0200 | krauss | move Kleene_Algebra to Library | changeset | files |
| Fri, 10 Jul 2009 07:59:44 +0200 | haftmann | merged | changeset | files |
| Fri, 10 Jul 2009 07:59:29 +0200 | haftmann | tuned locale interface | changeset | files |
| Fri, 10 Jul 2009 07:59:28 +0200 | haftmann | tuned | changeset | files |
| Fri, 10 Jul 2009 07:59:27 +0200 | haftmann | dropped find_index_eq | changeset | files |
| Fri, 10 Jul 2009 07:59:25 +0200 | haftmann | tuned quickcheck generator for bool | changeset | files |
| Fri, 10 Jul 2009 07:59:23 +0200 | haftmann | tuned | changeset | files |
| Fri, 10 Jul 2009 00:49:32 +0200 | wenzelm | merged | changeset | files |
| Fri, 10 Jul 2009 00:10:36 +0200 | wenzelm | merged | changeset | files |
| Fri, 10 Jul 2009 00:47:17 +0200 | wenzelm | tuned varify/unvarify: use Term_Subst.map_XXX combinators; | changeset | files |
| Fri, 10 Jul 2009 00:08:38 +0200 | wenzelm | added some generic mapping combinators; | changeset | files |
| Thu, 09 Jul 2009 23:05:59 +0200 | krauss | reorganised; many new lemmas thanks to sledgehammer | changeset | files |
| Thu, 09 Jul 2009 23:05:59 +0200 | krauss | tuned | changeset | files |
| Thu, 09 Jul 2009 22:48:12 +0200 | wenzelm | renamed structure TermSubst to Term_Subst; | changeset | files |
| Thu, 09 Jul 2009 22:36:11 +0200 | wenzelm | Sorttab in Pure; | changeset | files |
| Thu, 09 Jul 2009 22:13:19 +0200 | wenzelm | removed obsolete CVS Ids; | changeset | files |