]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/notation/relations
update in delayd_updating
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / notation / relations /
2021-11-30 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:...
2021-10-29 Ferruccio Guidiupdate in ground static_2 basic_2 apps_2
2020-04-18 Ferruccio Guidimilestone update in basic_2, update in ground and static_2
2020-01-15 Ferruccio Guidiupdate in basic_2
2020-01-14 Ferruccio Guidiupdate in basic_2 and apps_2
2020-01-08 Ferruccio Guidiupdate in ground_2, static_2, basic_2, apps_2, alpha_1
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3'
2019-09-30 Ferruccio Guidiupdate in ground_2 and basic_2
2019-09-29 Ferruccio GuidiMerge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3
2019-09-18 Ferruccio Guidiupdate in static_2 and basic_2
2019-08-31 Ferruccio Guidiupdate in static_2 and basic_2
2019-08-23 Ferruccio Guidiupdate in ground_2 static_2 basic_2
2019-07-26 Ferruccio Guidistill more additions and corrections for the article
2019-07-20 Ferruccio Guidimore additions and corrections for the article
2019-06-15 Ferruccio Guidisome restyling ...
2019-04-16 Ferruccio Guidimilestone in basic_2 with additions in static_2
2019-04-05 Ferruccio Guidiupdate in ground_2 static_2 basic_2
2019-03-25 Ferruccio Guidimilestone in basic_2
2019-03-20 Ferruccio Guidiupdate in ground_2 static_2 basic_2
2019-03-04 Ferruccio Guidifirst steps towards decidability of the validity predicate
2018-11-06 Ferruccio Guidiupdate in basic_2
2018-11-05 Ferruccio Guidiupdate in basic_2, static_2, web site
2018-09-29 Ferruccio Guidiupdate in basic_2 and apps_2
2018-09-27 Ferruccio Guidiupdate in basic_2 and static_2
2018-09-08 Ferruccio Guidiupdate in static_2 and basic_2
2018-08-07 Ferruccio Guidicommit in ground_2, static_2, basic_2, apps_2
2018-07-27 Ferruccio Guidiupdate in basic_2
2018-07-02 Ferruccio Guidisyntactic components detached from basic_2 become static_2
2018-06-25 Ferruccio Guidirenaming in basic_2
2018-06-09 Ferruccio Guidiupdate in basic_2
2018-05-25 Ferruccio Guidipartial update update in basic_2
2018-05-23 Ferruccio Guidiupdate in ground_2 and basic_2 (partial commit)
2018-05-11 Ferruccio Guidiupdate in basic_2
2018-05-11 Ferruccio Guidiupdate in basic_2
2018-04-27 Ferruccio Guidiupdate in basic_2
2018-04-16 Ferruccio Guidiupdate in basic_2 and ground_2
2018-03-21 Ferruccio Guidiupdate in basic_2
2018-03-19 Ferruccio Guidiupdate in basic_2
2018-03-16 Ferruccio Guidiupdate in basic_2
2018-03-10 Ferruccio Guidibugfix update in basic_2
2018-03-09 Ferruccio Guidiupdate in basic_2 + web page
2018-01-08 Ferruccio Guidiwork in progress with voids and lveq (was: the most...
2017-12-01 Ferruccio Guidiwork in progress on a new definition of voids ...
2017-11-27 Ferruccio Guidi- free variables innclusion (fle) encapsulates some...
2017-11-24 Ferruccio Guidi- lpx and lpxs restored to prove equivalene between...
2017-11-17 Ferruccio Guidi- ext2_tc added
2017-11-14 Ferruccio Guidi- notation change for tdeq and related notions
2017-11-13 Ferruccio Guidi- lsubsx (replacement of lcosx) completed
2017-10-23 Ferruccio Guidi- exclusion binder in local environments:
2017-05-03 Ferruccio Guidimore notation for s-steps
2017-05-03 Ferruccio Guidinotation for clear
2017-05-03 Ferruccio Guidinotational change for lexs
2017-04-14 Ferruccio Guidi- lfpxs based on tc_lfxs
2017-04-05 Ferruccio Guidi- first prroperties on lfsx proved
2017-04-03 Ferruccio Guidi- lfsx started ...
2017-03-14 Ferruccio Guidi- fpbq
2017-03-13 Ferruccio Guidi- tdeq must imply tsts
2017-03-06 Ferruccio Guidi- advances on lfxs for lfpxs
2017-03-05 Ferruccio Guidiadvances on cpxs and cnx (cnxa removed) ,,,
2017-02-20 Ferruccio Guidicsx on the way ...
2017-02-16 Ferruccio Guidi- cprs and cnx on the way
2017-01-24 Ferruccio Guidi- updated equivalence on referred entries: it nust...
2017-01-22 Ferruccio Guidi- degree-based equivalene for terms
2016-10-03 Ferruccio Guidi- basic_2 : restricted refinement for free variables...
2016-07-26 Ferruccio Guidibug fix in the context reduction rule for cast (cpm)
2016-07-01 Ferruccio Guidifirst definition of cpm:
2016-05-24 Ferruccio Guidimore files missing :((
2016-05-22 Ferruccio Guidi- notational change for cpg and cpx
2016-05-21 Ferruccio Guidi- first results on cpx (dericed from those on cpg)
2016-05-08 Ferruccio Guidisome renaming and reordering of variables
2016-04-22 Ferruccio Guidi- partial commit of rt_transition ...
2016-04-16 Ferruccio Guidirefactoring to park the notions:
2016-04-16 Ferruccio Guidi- former llpx_sn an lleq reactivated as lfxs and lfeq
2016-04-01 Ferruccio Guidi- new component "s_transition" for the restored fqu...
2016-03-23 Ferruccio Guidimore files to commit .... :(
2016-02-10 Ferruccio Guidifirst commit for lreq ...
2016-02-10 Ferruccio Guidi- ground_2: update ...
2016-01-31 Ferruccio Guidirenaming ...
2015-10-25 Ferruccio Guiditheory of generic slicing almost completed ....
2015-10-21 Ferruccio Guidiparked material ...
2015-10-11 Ferruccio Guidiground_2 milestone: multiple relocation with lists...
2014-10-26 Ferruccio Guidi- some renaming according to the written version of...
2014-10-08 Ferruccio Guidi- some consequences of preservation added
2014-10-04 Ferruccio Guidi- nnAuto: we catch TypeCheckerFailure generated at...
2014-09-30 Ferruccio Guidinotation update for pointwise union
2014-09-15 Ferruccio Guidinotational change of lift, drop, and gget
2014-08-31 Ferruccio Guidi- new stand-alone definition of lstas (sta and old...
2014-08-05 Ferruccio Guidi- basic_2: reaxiomatized snv with improved cpds and...
2014-07-14 Ferruccio Guidisome renaming and some typos corrected ...
2014-06-28 Ferruccio Guidi- ldrop is now drop as in basic_1
2014-06-14 Ferruccio Guidireorganization of the "static" component:
2014-06-07 Ferruccio Guidi- advances on free variables allow to reduce lleq_lpx_t...
2014-06-01 Ferruccio Guidi- advances on hereditarily free variables: now "frees...
2014-04-25 Ferruccio Guidi- advances in the theory of cofrees
2014-04-21 Ferruccio Guidi- we introduce recursive free variables of a term in...
2014-04-20 Ferruccio Guidi- name changes in the rediction rules
2014-04-18 Ferruccio Guidi- the relation for pointwise extensions now takes a...
2014-04-15 Ferruccio Guidi- lazy extended reduction parked
2014-04-13 Ferruccio Guidiwe restored the strong normalization of extended comput...
next