| 2008-11-20 |
Enrico Tassi | dama into the library
|
commit | commitdiff | tree |
| 2008-11-19 |
Enrico Tassi | x2sx declared as coercion and used when possible
|
commit | commitdiff | tree |
| 2008-11-19 |
Enrico Tassi | renaming
|
commit | commitdiff | tree |
| 2008-11-19 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-11-18 |
Enrico Tassi | 0.5.5
|
commit | commitdiff | tree |
| 2008-11-17 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-11-17 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-11-17 |
Enrico Tassi | exercises ready
|
commit | commitdiff | tree |
| 2008-11-17 |
Enrico Tassi | all ex done
|
commit | commitdiff | tree |
| 2008-11-16 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-11-16 |
Enrico Tassi | ....
|
commit | commitdiff | tree |
| 2008-11-16 |
Enrico Tassi | fixed
|
commit | commitdiff | tree |
| 2008-11-16 |
Enrico Tassi | removed some printings
|
commit | commitdiff | tree |
| 2008-11-16 |
Enrico Tassi | commented out unfinished proof
|
commit | commitdiff | tree |
| 2008-11-16 |
Enrico Tassi | removed some printings
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | better spacing
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | apply rule (lem EM) works
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | missing subst added, now apply rule is probably enough...
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | no more prove in palette
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | fixed or-in-left
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | fixed not-e
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | almost ready
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | rules fixed
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | make all/clean implemented
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | housekeeping
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | housekeeping
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | house keeping
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | disambiguation can use a goal as hint for the expected...
|
commit | commitdiff | tree |
| 2008-11-15 |
Enrico Tassi | natural deduction palette
|
commit | commitdiff | tree |
| 2008-11-14 |
Enrico Tassi | test 4 luo
|
commit | commitdiff | tree |
| 2008-11-14 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-11-12 |
Enrico Tassi | better names
|
commit | commitdiff | tree |
| 2008-11-12 |
Enrico Tassi | disambiguation for ng terms almost there
|
commit | commitdiff | tree |
| 2008-11-12 |
Enrico Tassi | some new exports
|
commit | commitdiff | tree |
| 2008-11-12 |
Enrico Tassi | new meta added for ng_disambiguation
|
commit | commitdiff | tree |
| 2008-11-12 |
Enrico Tassi | exported disambiguate_thing
|
commit | commitdiff | tree |
| 2008-11-12 |
Enrico Tassi | occurr check fixed
|
commit | commitdiff | tree |
| 2008-11-12 |
Enrico Tassi | more printings
|
commit | commitdiff | tree |
| 2008-11-11 |
Enrico Tassi | last fixes
|
commit | commitdiff | tree |
| 2008-11-07 |
Enrico Tassi | some other simplification
|
commit | commitdiff | tree |
| 2008-11-07 |
Enrico Tassi | ordered_set simplified
|
commit | commitdiff | tree |
| 2008-11-07 |
Enrico Tassi | exercise ready
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | exercise ready
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | almost there
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | added some news
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | almost ok
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | natural deduction support and example split, seems...
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | do not erase sorts
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | better error messages. sorts are compared using whd
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | Evil case fixed, the coulde should be more readable
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | removed empty lines
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | the passive set and passive list are expected to have...
|
commit | commitdiff | tree |
| 2008-11-06 |
Enrico Tassi | fixed scripts
|
commit | commitdiff | tree |
| 2008-11-05 |
Enrico Tassi | still some glitches, but reaching a decent state
|
commit | commitdiff | tree |
| 2008-11-05 |
Enrico Tassi | using the new by foo we proved semantics
|
commit | commitdiff | tree |
| 2008-11-05 |
Enrico Tassi | new internal flags for auto:
|
commit | commitdiff | tree |
| 2008-11-05 |
Enrico Tassi | duplicate entry in menv avoided
|
commit | commitdiff | tree |
| 2008-11-05 |
Enrico Tassi | fixed script to use auto depth=4
|
commit | commitdiff | tree |
| 2008-11-04 |
Enrico Tassi | eliminazione di un passaggio di transitività in ast2astfe
|
commit | commitdiff | tree |
| 2008-11-03 |
Enrico Tassi | BDD
|
commit | commitdiff | tree |
| 2008-11-03 |
Enrico Tassi | removed prerr_endline
|
commit | commitdiff | tree |
| 2008-11-03 |
Enrico Tassi | debug=false
|
commit | commitdiff | tree |
| 2008-11-02 |
Enrico Tassi | shannon proved
|
commit | commitdiff | tree |
| 2008-11-01 |
Enrico Tassi | added shannon
|
commit | commitdiff | tree |
| 2008-11-01 |
Enrico Tassi | added lazy
|
commit | commitdiff | tree |
| 2008-10-29 |
Enrico Tassi | models ported
|
commit | commitdiff | tree |
| 2008-10-28 |
Enrico Tassi | even more polymorphic dualizer
|
commit | commitdiff | tree |
| 2008-10-28 |
Enrico Tassi | done
|
commit | commitdiff | tree |
| 2008-10-28 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-28 |
Enrico Tassi | lebesge works
|
commit | commitdiff | tree |
| 2008-10-27 |
Enrico Tassi | WIP
|
commit | commitdiff | tree |
| 2008-10-27 |
Enrico Tassi | many bugs fixed
|
commit | commitdiff | tree |
| 2008-10-27 |
Enrico Tassi | metasenv passed to get_relevance, Metas that stand...
|
commit | commitdiff | tree |
| 2008-10-27 |
Enrico Tassi | WIP
|
commit | commitdiff | tree |
| 2008-10-27 |
Enrico Tassi | _ in place of unused variables
|
commit | commitdiff | tree |
| 2008-10-27 |
Enrico Tassi | Implicit annotationas are now printed
|
commit | commitdiff | tree |
| 2008-10-27 |
Enrico Tassi | seg_u/l were inverted, more work
|
commit | commitdiff | tree |
| 2008-10-27 |
Enrico Tassi | big lemma done
|
commit | commitdiff | tree |
| 2008-10-26 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-26 |
Enrico Tassi | duality done
|
commit | commitdiff | tree |
| 2008-10-26 |
Enrico Tassi | almost done, just needs to be prforated
|
commit | commitdiff | tree |
| 2008-10-26 |
Enrico Tassi | ....
|
commit | commitdiff | tree |
| 2008-10-26 |
Enrico Tassi | all done in declarative style
|
commit | commitdiff | tree |
| 2008-10-25 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-25 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-25 |
Enrico Tassi | duality is a joke
|
commit | commitdiff | tree |
| 2008-10-24 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-24 |
Enrico Tassi | leave-environment axiom made true
|
commit | commitdiff | tree |
| 2008-10-23 |
Enrico Tassi | lebesgue completely dualized
|
commit | commitdiff | tree |
| 2008-10-21 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-21 |
Enrico Tassi | better pps
|
commit | commitdiff | tree |
| 2008-10-21 |
Enrico Tassi | - mk_restricted_irl removed, the non-optimized code...
|
commit | commitdiff | tree |
| 2008-10-21 |
Enrico Tassi | psubst for metas fixed again
|
commit | commitdiff | tree |
| 2008-10-20 |
Enrico Tassi | nat model ported to the dualized version, but not itself...
|
commit | commitdiff | tree |
| 2008-10-20 |
Enrico Tassi | ... is a command in proof mode, use
|
commit | commitdiff | tree |
| 2008-10-20 |
Enrico Tassi | more bug fixed (or introduced)
|
commit | commitdiff | tree |
| 2008-10-20 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-20 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-20 |
Enrico Tassi | ...
|
commit | commitdiff | tree |
| 2008-10-20 |
Enrico Tassi | after a PITA, lebergue is dualized!
|
commit | commitdiff | tree |
| next |
projects / helm.git / search