]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
basic_rg: improved interface, unwind removed from applicability check
[helm.git] / helm / software / matita / library /
2009-06-21 Wilmer RicciottiAdded injective compose tree | commitdiff
2009-06-20 Wilmer RicciottiSome notation and additional lemmata. tree | commitdiff
2009-06-13 Ferruccio Guidiwe removed some coercion detours and we added some... tree | commitdiff
2009-06-11 Ferruccio Guidi- applyTransformation: bugfix in the rendering of records tree | commitdiff
2009-06-10 Ferruccio Guidi- library/list/list.ma: unused code commented tree | commitdiff
2009-06-05 Ferruccio Guidi- Procedural convertible rewrites in the conclusion... tree | commitdiff
2009-06-03 Ferruccio Guidi- boxPp: added missing spaces tree | commitdiff
2009-06-03 Andrea Aspertinot_to_not tree | commitdiff
2009-05-29 Ferruccio Guidi- cicNotationParser: added extra space to TeX control... tree | commitdiff
2009-05-26 Andrea Aspertiremoved a call to autobatch. tree | commitdiff
2009-05-25 Enrico Tassinasty change in the lexer/parser: tree | commitdiff
2009-05-21 Andrea Aspertiautobatch -> autobatch by tree | commitdiff
2009-05-14 Ferruccio Guidi- libraryObjects: new default "natural numbers" with... tree | commitdiff
2009-05-13 Ferruccio Guidiinterpretations placed right after the corresponding... tree | commitdiff
2009-05-11 Andrea AspertiA few lemmas about inclusion. tree | commitdiff
2009-05-08 Andrea Aspertiversione automatizzata tree | commitdiff
2009-05-08 Andrea Aspertisymmetry of inequality sym_neq tree | commitdiff
2009-05-06 Enrico Tassiapply and auto.equational_case call saturation.solve_na... tree | commitdiff
2009-05-05 Andrea Aspertiautobatch by tree | commitdiff
2009-04-30 Enrico Tassirun check_if_goal_is_solved on all goals (active+passive) tree | commitdiff
2009-04-30 Andrea AspertiMinor changes pro-automation tree | commitdiff
2009-04-29 Ferruccio Guidi- procedural: bugfix in "Barendregt convention" test tree | commitdiff
2009-04-29 Enrico Tassi... tree | commitdiff
2009-04-28 Ferruccio GuidicicNotationUtil: in fresh_name_generator, "\eta" replac... tree | commitdiff
2009-04-28 Enrico Tassihuge commit in automation: tree | commitdiff
2009-04-22 Ferruccio Guidi- transcript: we have now two styles of mma's from... tree | commitdiff
2009-04-22 Enrico Tassidemodulate takes an extra argument 'all', if present... tree | commitdiff
2009-04-21 Ferruccio Guidi- MatitaMisc: we factorized here the function out_pream... tree | commitdiff
2009-04-21 Enrico Tassifixed last file restricting auto tables tree | commitdiff
2009-04-20 Enrico Tassi- init_cache_and_tables rewritten using the automation_... tree | commitdiff
2009-04-16 Ferruccio GuidiProcedural: we corrected two errors about the handling... tree | commitdiff
2009-04-15 Ferruccio Guidi- transcript: bugfix tree | commitdiff
2009-03-26 Enrico Tassinew apply almost there tree | commitdiff
2009-03-16 Enrico Tassiadded mactions, the three can now be collapsed to fit... tree | commitdiff
2009-03-16 Andrea AspertiAdapted to new applyS. tree | commitdiff
2009-03-16 Andrea AspertiAdded a property. tree | commitdiff
2009-02-16 Enrico Tassisome notational experiments tree | commitdiff
2009-02-15 Enrico Tassiminor changes to make the library compile after wilmers... tree | commitdiff
2009-02-13 Wilmer RicciottiAxiomatization of real numbers (work in progress) tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-26 Enrico Tassimaction support added to notation, adopted for = AKA... tree | commitdiff
2008-12-22 Enrico TassiSome clean up. tree | commitdiff
2008-12-21 Claudio Sacerdoti... New category SET (whose objects are setoids). tree | commitdiff
2008-12-19 Enrico Tassifix exponentiation tree | commitdiff
2008-12-19 Enrico Tassifixed, it seems the new handling of hints in some rare... tree | commitdiff
2008-12-18 Enrico Tassi... tree | commitdiff
2008-12-15 Enrico Tassiuse named types to force some constraints asap tree | commitdiff
2008-12-09 Enrico Tassifixed notation tree | commitdiff
2008-12-08 Claudio Sacerdoti... A (boring and long) once-in-a-life exercise on proving... tree | commitdiff
2008-12-01 Enrico Tassi0.5.6 almost ok tree | commitdiff
2008-12-01 Enrico Tassiall done tree | commitdiff
2008-12-01 Enrico Tassimore ex and more notation tree | commitdiff
2008-12-01 Enrico Tassibetter doc tree | commitdiff
2008-11-30 Enrico Tassinatural deduction support for lemmas with premises tree | commitdiff
2008-11-24 Enrico Tassi.... tree | commitdiff
2008-11-20 Enrico Tassi... tree | commitdiff
2008-11-20 Enrico Tassidama almost ok tree | commitdiff
2008-11-20 Enrico Tassi... tree | commitdiff
2008-11-20 Enrico Tassi... tree | commitdiff
2008-11-20 Enrico Tassidama into the library tree | commitdiff
2008-11-17 Enrico Tassi... tree | commitdiff
2008-11-17 Enrico Tassi... tree | commitdiff
2008-11-17 Enrico Tassiexercises ready tree | commitdiff
2008-11-17 Enrico Tassiall ex done tree | commitdiff
2008-11-16 Enrico Tassifixed tree | commitdiff
2008-11-16 Enrico Tassicommented out unfinished proof tree | commitdiff
2008-11-15 Enrico Tassibetter spacing tree | commitdiff
2008-11-15 Enrico Tassiapply rule (lem EM) works tree | commitdiff
2008-11-15 Claudio Sacerdoti... New bug. tree | commitdiff
2008-11-15 Enrico Tassifixed or-in-left tree | commitdiff
2008-11-15 Enrico Tassifixed not-e tree | commitdiff
2008-11-15 Claudio Sacerdoti... Another bug. tree | commitdiff
2008-11-15 Claudio Sacerdoti... This commit shows a bug. tree | commitdiff
2008-11-15 Enrico Tassialmost ready tree | commitdiff
2008-11-15 Enrico Tassirules fixed tree | commitdiff
2008-11-15 Enrico Tassimake all/clean implemented tree | commitdiff
2008-11-15 Enrico Tassihousekeeping tree | commitdiff
2008-11-15 Enrico Tassihouse keeping tree | commitdiff
2008-11-15 Enrico Tassinatural deduction palette tree | commitdiff
2008-11-06 Enrico Tassinatural deduction support and example split, seems... tree | commitdiff
2008-11-06 Enrico Tassifixed scripts tree | commitdiff
2008-11-05 Enrico Tassifixed script to use auto depth=4 tree | commitdiff
2008-11-04 Claudio Sacerdoti... - A new interesting elimination principle over inductiv... tree | commitdiff
2008-10-20 Enrico Tassi... tree | commitdiff
2008-09-26 Enrico Tassifixed some notational collisions tree | commitdiff
2008-09-26 Enrico Tassicommented out a line that was making the file fail tree | commitdiff
2008-09-25 Claudio Sacerdoti... ... tree | commitdiff
2008-09-25 Claudio Sacerdoti... ... tree | commitdiff
2008-09-22 Enrico Tassifixed auto invocation tree | commitdiff
2008-09-18 Ferruccio GuidiapplyTransformation: improved error detection tree | commitdiff
2008-09-18 Claudio Sacerdoti... Major reordering of theorems in the appropriate files. tree | commitdiff
2008-09-18 Claudio Sacerdoti... Precedence level of \downarrow changed to match that... tree | commitdiff
2008-09-16 Claudio Sacerdoti... formal_map now defined tree | commitdiff
2008-09-16 Claudio Sacerdoti... Definition of formal_topologies. tree | commitdiff
2008-09-15 Claudio Sacerdoti... BTop is a category. tree | commitdiff
2008-09-12 Claudio Sacerdoti... ... tree | commitdiff
2008-09-12 Claudio Sacerdoti... 1) as usual, I took the reverse notation for composition. tree | commitdiff
2008-09-09 Claudio Sacerdoti... Reordering of lemmas in proper places. tree | commitdiff
2008-09-09 Claudio Sacerdoti... Concrete spaces do form a category, after all :-) tree | commitdiff
2008-09-09 Claudio Sacerdoti... Getting closer thanks to more technical arrangements. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.