]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/st_computation.ma
- list.ma: improved notation for constant lists (a "term 19" was missing)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Dec 2012 23:26:45 +0000 (23:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Dec 2012 23:26:45 +0000 (23:26 +0000)
commit23e75ebc00553e178e090ca1373ac075ee650a60
tree4bd363ddd38ae486bef45fd0146e5e0731f160cb
parent178820be7648a60af17837727e51fd1f3f2791db
- list.ma: improved notation for constant lists (a "term 19" was missing)
- lambda: more properties on pointers, extra xoa quantifier removed,
bugfix in notations and names
matita/matita/contribs/lambda/labelled_hap_computation.ma
matita/matita/contribs/lambda/labelled_hap_reduction.ma
matita/matita/contribs/lambda/labelled_sequential_computation.ma
matita/matita/contribs/lambda/parallel_reduction.ma
matita/matita/contribs/lambda/pointer_order.ma
matita/matita/contribs/lambda/pointer_sequence.ma
matita/matita/contribs/lambda/st_computation.ma
matita/matita/contribs/lambda/xoa.conf.xml
matita/matita/contribs/lambda/xoa.ma
matita/matita/contribs/lambda/xoa_notation.ma
matita/matita/lib/basics/lists/list.ma