]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/grammar
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- ground_2: support for lifts_div4
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / grammar /
2016-04-01 Ferruccio Guidi- new component "s_transition" for the restored fqu... tree | commitdiff
2016-03-27 Ferruccio Guidi- minor corrections tree | commitdiff
2016-03-23 Ferruccio Guidi- ng_kernel: we print the offending term when guarded_b... tree | commitdiff
2016-03-13 Ferruccio Guidi- new syntax for let rec/corec with flavor specifier... tree | commitdiff
2016-03-10 Ferruccio Guidi- ground_2: some additions tree | commitdiff
2016-01-31 Ferruccio Guidirenaming ... tree | commitdiff
2015-10-21 Ferruccio Guidiparked material ... tree | commitdiff
2015-10-11 Ferruccio Guidiground_2: added missing file tree | commitdiff
2015-10-11 Ferruccio Guidiground_2 milestone: multiple relocation with lists... tree | commitdiff
2014-10-27 Ferruccio Guidi- the trace is explicit in all auto tactics with depth > 1 tree | commitdiff
2014-10-26 Ferruccio Guidi- some renaming according to the written version of... tree | commitdiff
2014-08-10 Ferruccio Guidisome renaming and a minor addition tree | commitdiff
2014-08-06 Ferruccio Guidi- some renaming and minor updates tree | commitdiff
2014-07-14 Ferruccio Guidisome renaming and some typos corrected ... tree | commitdiff
2014-06-28 Ferruccio Guidi- ldrop is now drop as in basic_1 tree | commitdiff
2014-06-19 Ferruccio Guidi- some pending conjectures closed in basic_2 and ground_2 tree | commitdiff
2014-06-09 Ferruccio Guidiadvances on append allow to complete the long awaited... tree | commitdiff
2014-06-08 Ferruccio Guidi- some work on append tree | commitdiff
2014-04-07 Ferruccio Guidisome resuls on pointwise extensions (all of them are... tree | commitdiff
2014-04-05 Ferruccio Guidicommit completed: tree | commitdiff
2014-03-25 Ferruccio Guidi- partial commit: just the components below "computation" tree | commitdiff
2014-03-20 Ferruccio Guidicontinuing on lazy pointwise extensions ... tree | commitdiff
2014-03-08 Ferruccio Guidisome corrections ... tree | commitdiff
2014-02-28 Ferruccio Guidi- some corrections and additions tree | commitdiff
2014-02-21 Ferruccio Guidi- main proposition on lsx finally proved! tree | commitdiff
2014-01-10 Ferruccio Guidinew definition of lleq allows to complete the proof... tree | commitdiff
2013-12-02 Ferruccio Guidi- last patrtial commit of the "reduction" and "computat... tree | commitdiff
2013-11-28 Ferruccio Guididefinition of equivalence for local environments, tree | commitdiff
2013-11-25 Ferruccio Guidi- xoa: the definitions file now includes the notations... tree | commitdiff
2013-11-01 Ferruccio Guidi- lambdadelta: first commutation property on lazy equiv... tree | commitdiff
2013-10-25 Ferruccio Guidi- bug fix in the induction for the closure property tree | commitdiff
2013-10-24 Ferruccio Guidi- "small step" version of "big tree" theorem proved tree | commitdiff
2013-10-19 Ferruccio Guidimore results towards the "big-tree" theorem ... tree | commitdiff
2013-10-04 Ferruccio Guidi- degree assignment, static type assignment, iterated... tree | commitdiff
2013-08-09 Ferruccio Guidi- test.ma on the disambiguation bug moved to ONAG ... tree | commitdiff
2013-08-09 Ferruccio Guidi- the example is now minimal so the bug is understood. tree | commitdiff
2013-08-09 Ferruccio Guidi- the example is smaller and really self-contained ... tree | commitdiff
2013-08-09 Ferruccio Guidiriduced example showing disambiguation bug ... tree | commitdiff
2013-08-09 Ferruccio Guidi- matitadep: new option -t to list the unreferenced... tree | commitdiff
2013-08-01 Ferruccio Guidipartial commit: just the components before "static... tree | commitdiff
2013-07-26 Ferruccio Guidilambdadelta tree | commitdiff
2013-07-20 Ferruccio Guidi- new extendedd beta-reductum involving native type... tree | commitdiff
2013-06-03 Ferruccio Guidi- induction on supclosure replaces induction on weight... tree | commitdiff
2013-05-09 Ferruccio Guidipartial commit: finaly we issue the "computation" compo... tree | commitdiff
2013-05-05 Ferruccio Guidi- partial commit (just the components before computation) tree | commitdiff
2013-04-20 Ferruccio Guidi- we are committing just the components before "reducib... tree | commitdiff
2013-04-16 Ferruccio Guidi- we commit just the components before "reducibility" tree | commitdiff
2013-04-07 Ferruccio Guidi- new component for restricted computation (delta,... tree | commitdiff
2013-04-05 Ferruccio Guidi- parallel substitution reaxiomatized tree | commitdiff
2013-03-17 Ferruccio Guidinotational change for snv and lsubsv: inverted "!"... tree | commitdiff
2013-03-13 Ferruccio Guidi- lambdadelta: third recursive part of preservation... tree | commitdiff
2013-03-10 Ferruccio Guidi- improved Makefile esp. with the "trim" function tree | commitdiff
2013-02-22 Ferruccio Guidi- "big tree" order implemented tree | commitdiff
2013-01-28 Ferruccio Guidi- notation change for weight functions (following lambda) tree | commitdiff
2012-12-28 Ferruccio Guidixoa: change in naming convenctions for existential... tree | commitdiff
2012-12-25 Ferruccio Guidi- lambda_delta: programmed renaming to lambdadelta tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.