Starting with inventory:
0000001148-06815ca489f09ca18c494f642dee6a66a2389019c687364316b193c73c780d5f
[TAG 0.5.8.3 (BUGFIX in antiunification, more elaborate README)
martin.hofmann@uni-bamberg.de**20090525112246] 
hash: 0000000670-3b86547d51b73156300a69a05c051fd323d07b14875a774cc5419d049a772646
[removed ./dat/* from version control
martin.hofmann@uni-bamberg.de**20090525133340] 
hash: 0000015625-fe19a634dad0e6595cd5f82627c17d1129d6e1b63efc53cf336a6e0cf039f1e0
[trivia
martin.hofmann@uni-bamberg.de**20090525150349] 
hash: 0000001706-e4a7f24b09b8191293433c6a2b6b0969ef79a4afe7055388268b97dfdc6bd30f
[BUGFIX: could not match two different variables a second time
martin.hofmann@uni-bamberg.de**20090525150420] 
hash: 0000000238-53c923db544d88d3bce88d7dddc02ce58955d80b02dc6daa427f080ecd3449d9
[no quickstart, modified igor2.cabal and README
martin.hofmann@uni-bamberg.de**20090526102356] 
hash: 0000002496-4ab03056b215bdd2f3edba0e65a6698593d19aba73e0fab5b1145a348c631ce0
[versioning
martin.hofmann@uni-bamberg.de**20090526110319] 
hash: 0000000223-04b799cf2bf1c4d9314232073f33907ea77c0e7b47d7754adb5be301b26a4167
[modified package dependencies in igor2.cabal
martin.hofmann@uni-bamberg.de**20090526115102] 
hash: 0000002220-0e9bd9b5c915268193eeba635485e273e4617b654916d652a1ea87f8a410048f
[package dependencies
martin.hofmann@uni-bamberg.de**20090526115702] 
hash: 0000000208-25405cb3308ba507ee91a014480c7994b10082ba95f2cf59c631d4a6bc7e007a
[pkgdps
martin.hofmann@uni-bamberg.de**20090526120300] 
hash: 0000000177-2b362fc5bc546425447fbc48d73e1268a0e133aafcda6abb8747b147d55b1f5b
[pkgdps
martin.hofmann@uni-bamberg.de**20090526120511] 
hash: 0000000224-45bcc6eaa0cddbb2eb264904c09f47f1712f034dd185f2284a1e4358f5b47c56
[pkgdps
martin.hofmann@uni-bamberg.de**20090526120932] 
hash: 0000000278-5c90ca97b8f208d9ef4a0113399695ffe4e95880ef56e95eb5c713f1fa5e444d
[pkgdps
martin.hofmann@uni-bamberg.de**20090526122112] 
hash: 0000000346-12ccd4ed597acc62f61efa6967240fa97891a45cc787ea303c7c9248e469e71e
[README and package dependencies
martin.hofmann@uni-bamberg.de**20090526145938] 
hash: 0000001277-422ca6ebc4c33339cb05ef9474cd3ccf528f1d64788a2d4be73f536a8bacc2a4
[TAG 0.5.8.4 (BIGFIX in unifiying two variables a second time, cabal install now does the installation)
martin.hofmann@uni-bamberg.de**20090526150012] 
hash: 0000001059-d6985c6ee863eae73e5802b8f9f65fdba21814e8b9fb891c701ac2b70aa2f85f
[print Hypo counter
martin.hofmann@uni-bamberg.de**20090527154031] 
hash: 0000000178-aef5b674de34a04f538f1fc9cd89366e0254aa9735bb03cb0097683c805c4a31
[stopp exactly after n maxLoops, and not (n-1)
martin.hofmann@uni-bamberg.de**20090527154057] 
hash: 0000000250-fe31d7efa7172ea0692ad8f34dc300423b4d150c6979a849019774eef6948d95
[nicer output when printing help
martin.hofmann@uni-bamberg.de**20090527154214] 
hash: 0000002194-08c678a8a11cf57ba86ce3f2b91d003917d9af52f6e3104cd249790bef6cb14f
[code cosmetics, nicer verboseHelp output
martin.hofmann@uni-bamberg.de**20090527154410] 
hash: 0000005764-b0b6f9bd3543c95483bcdcdd2680c21cc491a8cde27cb956e561a88a5e63144d
[BUGFIX: wrong type when transforming TConP to TConE
martin.hofmann@uni-bamberg.de**20090527154501] 
hash: 0000000427-7778e7c4e33a284ac064bd6f757ba97e09fadeff95d69c7bcf47dc05a1c5582e
[new example
martin.hofmann@uni-bamberg.de**20090527154554] 
hash: 0000000668-66846081738b02d97ddaddbcafbff6f78a05a55197a69535c8241ab389240d04
[print covered I/Os of rule in order, output correct totla number of Hypos
martin.hofmann@uni-bamberg.de**20090528144145] 
hash: 0000003174-27c01d5aef60696944b933a6443ece07bbf1ef6fc8a18dd42138d91f728ec5c0
[TODO list
martin.hofmann@uni-bamberg.de**20090528144649] 
hash: 0000000288-61d49003750dc26b4a87a0c35940a9a67ded4ca4b60112ee2d866a32916bad1a
[modified Examples.hs, added shiftl, shiftr
martin.hofmann@uni-bamberg.de**20090602011458] 
hash: 0000000627-9fa96c870d90e634bcefb6512d427c81b93417741781331e2b685bc57596e328
[loaded specification file is in context of testing
martin.hofmann@uni-bamberg.de**20090602011557] 
hash: 0000001366-1a5b7baf31bb78a2b018c219c2d51f8fa0755785012f49be04c45a3f567bb388
[BUGFIX: simplification removed target funs, more heuristics added
martin.hofmann@uni-bamberg.de**20090605031448] 
hash: 0000002343-1df599df2826b8378fa191cb200898eb6c59bb1e2f63def0550475deb05fd497
[BUGFIX in match and unify, applyL and matechesWithSubsLs added
martin.hofmann@uni-bamberg.de**20090610075302
 BUGFIX in match and unify: swapped arguments and special Case for TListE and TInfixE for cons lists
] 
hash: 0000005808-a12a8e076af91d37ba1bd608c2daa4b696562f2e636cb2a0d52037d0952152d7
[in place evaluation of IOs added, both in rules and inIOData
martin.hofmann@uni-bamberg.de**20090610075748] 
hash: 0000001223-29f34c9180253d2affe7133e2ff75784db2ea082eccc60fca7aa5ce06ba018e4
[minor code cosmetics
martin.hofmann@uni-bamberg.de**20090610075905] 
hash: 0000002940-8d73e4c00a318a76c265a5f33bd95028c159a90f4462f826cb3893f355e26684
[Prematching for direct call detection added
martin.hofmann@uni-bamberg.de**20090610080107] 
hash: 0000004775-ed5073796e1d99f8672786638c00d5723e0d3ea9dabcfe01581646220f0a890b
[version changed
martin.hofmann@uni-bamberg.de**20090610080224] 
hash: 0000000228-a6d664910dc630bfe08cbf1aee69f9f34b1ef317820f4e6f6db5309e2b7b3fc8
[TAG 0.5.8.5 prematching for direct call detection added
martin.hofmann@uni-bamberg.de**20090610080235] 
hash: 0000001797-322e20b8f616b3edaf7c4a5e7569514b89cd78c8e360f8c6e6c1fd3a7a5ffc2a
[code cleaning
martin.hofmann@uni-bamberg.de**20090610101424] 
hash: 0000007865-463d0771ba6579e511781324f750b059e2be8dbb03d3c1bf9f138d111e2ba2ee
[new examples and cabal file generated by leksah
martin.hofmann@uni-bamberg.de**20090611033934] 
hash: 0000004463-516ecca03cc4c72ee71b15defe6845fcda5bc047d930323c04acc4e9615cd326
[BUGFIX could not parse multiple targets
martin.hofmann@uni-bamberg.de**20090611034120] 
hash: 0000000783-3dd46d7f343a514c5d58e9cdf44d1f230dd6d7a55c6eea6422548d54b6c4a673
[BUGFIX when synthesising multiple targets, add those targets to bgk which are currently not processed
martin.hofmann@uni-bamberg.de**20090611034146] 
hash: 0000001643-cf5f18155713733f26c704649f2b4ebd7d81602a5fe9ee0e3ae774ada84274ba
[code cleaning and special treatment of multiple trgets when calculating dependencies
martin.hofmann@uni-bamberg.de**20090611034314] 
hash: 0000009950-37bfae95df70387bc479593b503a529331c9d613c7a0a2fb3c9bac62fcd92f61
[Just, Nothing, Left, Right added to default ctors
martin.hofmann@uni-bamberg.de**20090611035911] 
hash: 0000000655-9060d4b3b4b2a7182be143ea305c1dbe0bfe0b9fb861d98f54de23f9a2dcfe62
[versioning and modified cabal file
martin.hofmann@uni-bamberg.de**20090611040921] 
hash: 0000001548-6275bcbcf26236ef4e52b94da749639829af5ee8bcf5384f16fc430a355e7269
[typos in README
martin.hofmann@uni-bamberg.de**20090611042850] 
hash: 0000000432-0263fa79eb38ce3a421988e86cfb73709fd4e521b2d71348be18c1fa5560ab60
[TAG 0.5.9.0 (beta of the MAUDE Igor2.2 equivalent)
martin.hofmann@uni-bamberg.de**20090611042902] 
hash: 0000000990-bb92516cfea2506d0ed7555f546033cad2edb7a6a8e3685266f2cc7eb5ac424f
[Forced qualified Names when parsing spec file
martin.hofmann@uni-bamberg.de**20090611084642] 
hash: 0000002728-9c5ccb42a18e8e42ba99e30ddf4d42da12afd465f477981dd4974ffad2e6f45f
[changed command separator from comma to semicolon
martin.hofmann@uni-bamberg.de**20090611085020] 
hash: 0000007042-8ab824f7732a7c9ce2fbce0be09e806cc212d134ef4527935d439d6fc5286bce
[HACK to output unqualified names in resulting hypotheses
martin.hofmann@uni-bamberg.de**20090611085059] 
hash: 0000000766-91eaea23e14ea3dfff6152368ad6d3358c55b0a73821f0e24ca03f3b7f371c4a
[versioning
martin.hofmann@uni-bamberg.de**20090611090354] 
hash: 0000000189-cd791f1d501ed314635d18dd05d7a71c9b4076d0ee4129c9e36409e502b8466e
[TAG 0.5.9.1 (BUGFIX no clashes with (un)qualified ctor names)
martin.hofmann@uni-bamberg.de**20090611090420] 
hash: 0000000574-b482fef1e116522e0c891984985b99d2e0336d35c8c169e11a0e9c76eebb211b
[BUGFIX self call of sub fun was not allowed
martin.hofmann@uni-bamberg.de**20090612013308] 
hash: 0000002175-f0d303a21109f8a6da0600c744b843fec8fd9bdf4684c80988f9bcce8d992d0c
[BUGFIX error in counting partitions
martin.hofmann@uni-bamberg.de**20090612042420] 
hash: 0000000256-7c4de26ca1da3852b35d9f9304164e901c3ac1f68d8c9577a1473934521d63bf
[code cosmetics
martin.hofmann@uni-bamberg.de**20090612043656] 
hash: 0000000267-3787d9a6c904abc8b6f668b0544d847e2c1c01ed9b1f720ca01357e59a473346
[get all loop counters inside IM
martin.hofmann@uni-bamberg.de**20090612043714] 
hash: 0000000458-4855879271649edad7647c30318011968d8bb2858ff082d6dade66d48ea1ca2a
[nicer logging
martin.hofmann@uni-bamberg.de**20090612043737] 
hash: 0000002080-72471aa1e8aecff501d55819e926b3c7aa84753fc254d3fbb87b6908067531b2
[include loop count in result
martin.hofmann@uni-bamberg.de**20090612052355] 
hash: 0000002231-204fef05c195f5f88235aff350b64b20469f111735d59cfeb4d8aa61a212423e
[versioning
martin.hofmann@uni-bamberg.de**20090612052929] 
hash: 0000000189-867432704afee964be6b3e9676c4ae6e48d8f5dee9e8efa5dd001cc83370d56d
[TAG 0.5.9.2 (fixed bugs in prematching and count partitions)
martin.hofmann@uni-bamberg.de**20090612052939] 
hash: 0000000748-18d53960d69aa33d10add5118c956925b8b07371f2ee6d7deb51444571c63f06
[code cosmetics
martin.hofmann@uni-bamberg.de**20090612084543] 
hash: 0000001981-5ae7e17147adae86b908447618d5a6a4e69f39016fd9ba8a6fa20541afea96a0
[default settings changed
martin.hofmann@uni-bamberg.de**20090615034028] 
hash: 0000000210-198eb560c0ae35a773d632ee0e9c4806d56a5c2b33cca6206c0054a3acf10dd6
[worked on specification
martin.hofmann@uni-bamberg.de**20090618025630] 
hash: 0000000683-708d7d766be21491441d006f276c4d1efd8084e151edbd56c3b352b664a8ee67
[output open rules in partial Hypos
martin.hofmann@uni-bamberg.de**20090618025706] 
hash: 0000000738-b3c6789d3fa78e333cb8da21c1863978de1989b322d3292ba30bcf526500c244
[BUGFIX in result simplification
martin.hofmann@uni-bamberg.de**20090618025953] 
hash: 0000003648-744e7a6498056985057bac1e40cb73035426373ea908eac1ac69b0b03f1369ed
[fold intro implemented and added as an option 
martin.hofmann@uni-bamberg.de**20090618030320] 
hash: 0000005124-b8217a228b9632f59feae57cb90c8660d0fd169dab0431bbfc1068b19952aa3a
[code cosmetics and typos
martin.hofmann@uni-bamberg.de**20090618030540] 
hash: 0000000789-c9ad63a24b03acfdec32579ad808b8b0664d8b3a002dd6cb1e320f0a8eedf0d4
[changed setting small improvements in output 8unqual and reporting result)
martin.hofmann@uni-bamberg.de**20090618030643] 
hash: 0000000636-0a19d1d066274029142faa538c7741c4d106cc5adb7a60e91f861d9a5911fc5c
[code cleaning and cosmetics
martin.hofmann@uni-bamberg.de**20090619045228] 
hash: 0000003513-6b76fa1b64f765eff7e33971bb3897b416c545788a8148a94a411ef01b4aaf2e
[removed dependency from haskell-src-exts
martin.hofmann@uni-bamberg.de**20090619101344
 also deleted the the-hard-way-imported module haskell-src-meta
] 
hash: 0000073825-97e78e78cd94d12f3b8ea0031f1dac2f72e9421f079638b55b374e7e4a826bf4
[small bugfix in output simplification, less extensive, but correct
martin.hofmann@uni-bamberg.de**20090619102638] 
hash: 0000002105-ba92a45b42ed3ec672efe361fbd52b884ac0de3b85d3637ac9c3c11a71ca0d95
[TAG 0.5.9.3 (bugfix in result simplification and prototypical catamorphism detection on lists)
martin.hofmann@uni-bamberg.de**20090619103253] 
hash: 0000001275-96228800be10945fb98120fc1e9d5e6184433680e5f2450a1679cc2d92e8f094
[prettier printed Hypos
martin.hofmann@uni-bamberg.de**20090623024359] 
hash: 0000000658-67e38969b6ccaecd36dcc33a752f849dd1fd94f60c47aa1d4ecd65d24e63f9b7
[versioning
martin.hofmann@uni-bamberg.de**20090623024540] 
hash: 0000000189-42154086cdd330749c2bc7f2adf4d6edcd7c2278939e452b684b051311280df4
[removed dead code and some warnings
martin.hofmann@uni-bamberg.de**20090623075608] 
hash: 0000009521-24a95e398ce3a1deb173fe6e52483d8cfe268437f89460b5d91ce9ceb81a21f0
[removed error handling from LM Monad, made relevant functions partial using an arbitrary monad
martin.hofmann@uni-bamberg.de**20090623075855] 
hash: 0000008025-615d08cf0bf141c0a77051563a77e8ada834f2b62c515a23badb321a3772b888
[reorganised imports
martin.hofmann@uni-bamberg.de**20090624103538] 
hash: 0000003769-9eb23e3266df6de21c9998e2a3dcf7c08a190ef5649d4890ab41a991663af8e1
[advanced logging and ppretty printing, added verbosity option, debug dumps to stdout
martin.hofmann@uni-bamberg.de**20090624103838] 
hash: 0000021838-6d9a6178a889c20ebe222df1c2903ebc81016f507b4855f9e38898ec5d5cf97a
[pull IO into LM, added timing
martin.hofmann@uni-bamberg.de**20090624104257] 
hash: 0000006730-94067274ef1ea4c3480901eca44229b1768691907cc117e19021169c3bfa9ecd
[examples
martin.hofmann@uni-bamberg.de**20090628231139] 
hash: 0000010059-b6511eb5bc88e3ff790a8c541d1f7112e2c29ae18c108d0fbf1423ef341c301c
[code cleaning
martin.hofmann@uni-bamberg.de**20090628231248] 
hash: 0000006469-ccff963b0f977abedea166d43bb7bc4413385dfa3b91dc0229a3952d4912b096
[BUGFIX: need to adapt instance Monoid Log on changed implementation
martin.hofmann@uni-bamberg.de**20090629021215] 
hash: 0000004512-f95a45843ec63d1df069f8df1d613e6af9ed5da968d877e8356824eeab195b51
[code cometics
martin.hofmann@uni-bamberg.de**20090629035543] 
hash: 0000000765-7bd1a91e258325bf2b0683f4f1d20abc2f95631d78f2503b3bae40bc93428209
[BUGFIX when antiunifying InfixE, ctor should not be included in subterms
martin.hofmann@uni-bamberg.de**20090629035625] 
hash: 0000000237-502f6275b65a63c766d0d57d5c5ec42abb5f7a48d3717d34d47718841c98a3f2
[TODO added, maybe antiunification can be implemented shorter?
martin.hofmann@uni-bamberg.de**20090629064836] 
hash: 0000001981-5c0626687e2dc3fe1ed22e6057f10f5438ce9bcb95e749f3ae380ff51992352d
[timing for loading a file
martin.hofmann@uni-bamberg.de**20090706235153] 
hash: 0000000628-641be31e81d5814463cffcc5037b8831acf879b856d7d80463a7d9a7a6ba2ef7
[modified example specification
martin.hofmann@uni-bamberg.de**20090706235208] 
hash: 0000001291-0ee7586778174aa1649907099686221cfdf90f11e5abca8d0f6108b0f20dd39e
[versioning
martin.hofmann@uni-bamberg.de**20090706235858] 
hash: 0000000189-94e1faf22848099cab5dfa5f6a99c35c7ed4c5372513ce6045077475e4a1fd56
[TAG 0.5.9.4 (added IO and timing)
martin.hofmann@uni-bamberg.de**20090707000026] 
hash: 0000001622-eb0426ab06850f8472bd7722a3f0cd0525c773bf5cae9a7ced1f11d797156879
[examples
martin.hofmann@uni-bamberg.de**20090714022503] 
hash: 0000002499-8e58e28990ff5f5fbfa34a495d847547147e96952dbf3e8c453d54391adc7e75
[logging helper
martin.hofmann@uni-bamberg.de**20090714022637] 
hash: 0000001537-abaa711d5382ffc47e61a968e6400b46dc055419ba2cdf94d387e1d10ae1eb98
[verbosity flag removed from Main, but added as an option to SCR
martin.hofmann@uni-bamberg.de**20090714023018] 
hash: 0000003306-f4ba51a1ba79c4dce1d4a880e4b296bff2208504be9e1258967dcdb052cfc60b
[TODO updated
martin.hofmann@uni-bamberg.de**20090714023157] 
hash: 0000000398-8472f42a5111fc476e267c7a3c5d1c7a9723a9e3c7f1f3a60605a6e0084dce88
[HO funs affect synthesis strategy
martin.hofmann@uni-bamberg.de**20090714023221
 HO funs donn't count into partitions
 When Morphisms are introduced, no other operators are applied
 When Ctamorphism, then no recursive call to the used fun allowed (? don't know if we want that, but otherwise matching is too much)
 
] 
hash: 0000001906-86f73f7e2bcae569d1f18b0e80038ae7cc7c4053bee750748ec57ac9e62f779b
[small change of equality between ForallT, Context is compared, too
martin.hofmann@uni-bamberg.de**20090714023844] 
hash: 0000001389-44315539dd60f1ec1de6ac6d5feb43bc35e385bd38c97270871243e4d8c7c18e
[code cleaning, removed redundant record slot 'opos' in CovrRul
martin.hofmann@uni-bamberg.de**20090715050417] 
hash: 0000001536-b239e16cd3de1e6c4521436ed83ffdfb301d0ef5e8be75812916063c47d52bfe
[code cleaning
martin.hofmann@uni-bamberg.de**20090715050716] 
hash: 0000005145-e61788860d47b30a1ee8ec2c865186189d335112d37090656103b687ae77bdfa
[put context nito scope, accessaable via IgorMonad
martin.hofmann@uni-bamberg.de**20090715050744] 
hash: 0000008289-6bc632499385c5a686e8cd0213539b7cee0fc57daa2039faa33cadeeb3d2e9e5
[polymorphic type matching (hacked), buggy partitioning with predicates (hacked, too)
martin.hofmann@uni-bamberg.de**20090717113631] 
hash: 0000063119-3423674306d6e7624e75f4c785fc7721766014f47108dba9ec6811b7a9ec7355
[more examples
martin.hofmann@uni-bamberg.de**20090722082030] 
hash: 0000000430-e4c0b22f25840eda8dc4087da804a423bf7cf5e552206fe55597e87c6081c3e4
[more static context knowledge
martin.hofmann@uni-bamberg.de**20090722082050] 
hash: 0000000153-0620753c255e8ddf73dd6c957c5f7222a6f7747da540338d92bb5f11fa47c464
[debugging use of polymorphic type info for partitioning
martin.hofmann@uni-bamberg.de**20090722082450] 
hash: 0000001435-5ee618a6fb5489e6afc9b199aa5c7acab4d0faf69982e66de85ed429cddb095d
[experimented with introducing if_then_else in fold-as-filter expressions
martin.hofmann@uni-bamberg.de**20090722082637] 
hash: 0000004050-63c302367820c46abbbf5af577cf9360aa4583cc2575b5ecceb6f7219eeab057
[examples and batches added
martin.hofmann@uni-bamberg.de**20090826165021] 
hash: 0000015361-c5579ce219ba4d0d8c4f403f31db68d54ad7e58db707ae253d2e779dbad388a7
[BUGFIX: nicer version of makeIOMatrix was wrong
martin.hofmann@uni-bamberg.de**20090826171638] 
hash: 0000001165-d9ac000c68f1fa6f5fabb9bfe7fff4bb49b3f93a97098d3fe4296a2bb3813ddd
[new examples
martin.hofmann@uni-bamberg.de**20090831172202] 
hash: 0000000606-5c34cb669239d83116dceab712e09910152feab7a850b54c472de5edf4ed19c8
[Rule instance of Typed
martin.hofmann@uni-bamberg.de**20090831172214] 
hash: 0000000235-9907e637297757996e9921344c97b20f65bf3d298327b878a76302123fe0ef1c
[directly use filter and map when applicable
martin.hofmann@uni-bamberg.de**20090831172258] 
hash: 0000005034-e4493fdfcc04d5295f8b833e14a7457be054b56395c65b31fb2390b2c1964807
[code cleaning
martin.hofmann@uni-bamberg.de**20090901151838] 
hash: 0000007665-99b05e11c02f00fe90edc8ea2c24089918b8fc214834a55312cfddb321d269cc
[new examples
martin.hofmann@uni-bamberg.de**20090911130723] 
hash: 0000001057-49db92a33df7f767b020e5a58325c8c9e00a0614d54c9461c5c3a55d6b4cd01f
[defaults changed
martin.hofmann@uni-bamberg.de**20090911130743] 
hash: 0000000367-21daaad5f2444c7e1ccdcddd4d3e8f077c606413032f25ebf6a888012db1b8cc
[BUGFIX: dublicates in subfunction intro
martin.hofmann@uni-bamberg.de**20090911130922] 
hash: 0000000951-05a4f05244ec71eeaf3fe84190eccc0a50f148c8715315850c6ab0a01e40d404
[Examples modiefied
martin.hofmann@uni-bamberg.de**20090922095048] 
hash: 0000000170-5986e9fa3d7761d9124ec66f7321e5b041f9a438cbc04aa649bb5f4b47bfd460
[prettier printing of rated hypos in log
martin.hofmann@uni-bamberg.de**20090922095210] 
hash: 0000001137-7f20e01df7cb34e3ed86ebaf4ccf875513047983be95163c7dd910442ea30dde
[FIXED: typo in help text
martin.hofmann@uni-bamberg.de**20090922095316] 
hash: 0000000277-d49f6fdae1f4d3b22a22bc85a3406918d5b46ac208caa58affeb7494732547ed
[examples added
martin.hofmann@uni-bamberg.de**20090924065440] 
hash: 0000000843-a54897585d335377ebbb1afee6a72f8bc2da7386e1b6ddfa88f6dad4e1243949
[BUGFIX: unsufficient pattern in compareSizePairwise
martin.hofmann@uni-bamberg.de**20090924065616] 
hash: 0000000228-f56c530b6c388ca68e23c210f9456252ea0c76cbfb2167d883beba3087f67554
[some logging info added
martin.hofmann@uni-bamberg.de**20090924065709] 
hash: 0000000164-30c3fc5e41aa07004c7c544976c50138cf59efdd1f7ceb73ee5479d5747939dd
[laternative, heap-based implementation of HypoSpace
martin.hofmann@uni-bamberg.de**20090925063749] 
hash: 0000009962-a1fa53624e8a34054aab7f654a50b4e66f511e6412469869a4ad0be64621b6dc
[cycles detection in CallDep added and threshold of max 5 cycles added
martin.hofmann@uni-bamberg.de**20090925063957] 
hash: 0000004542-fa8a2b4e963518cf767d506631de6885ec8bfac9fe8a30392eedcee29e222d97
[default setting changed, recArgCmp AWise instead of Linear
martin.hofmann@uni-bamberg.de**20090925064757] 
hash: 0000002538-eba9f8bd3dacfeb50758f1849509861848250434f594486173e297d89ac7df13
[BUGFIX: fold must call argument function GT to precent non-terminating hypos
martin.hofmann@uni-bamberg.de**20090929074737] 
hash: 0000000282-bca9b8cbbf0ee30a8355c5362b90a8195dbb8eb5d539b5afa729218a58e908c3
[new examples
martin.hofmann@uni-bamberg.de**20090929074836] 
hash: 0000003197-e2f90982514ef7ccd3afb3ffed057cfa005a87071dfb45e322a339402f3f986c
[when testing history is searched for already synthesised bk functions
martin.hofmann@uni-bamberg.de**20090929090321] 
hash: 0000001469-983f865d270be32b8d325bf40dbfc1771b9270a56eb8e978f134b268cb450b50
[heuristics changed
martin.hofmann@uni-bamberg.de**20090929090335] 
hash: 0000000274-982ee37419d2b0d84a60a9b4f01658a46075c3a058b93174fe0cca08efbf3ad9
[versioning
martin.hofmann@uni-bamberg.de**20090929091222] 
hash: 0000000189-191971da84f73234103e118d6062fe2634d6e2c85d4567f953c7c9434ef9f169
