]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 178820b) | patch
- 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
tree4bd363ddd38ae486bef45fd0146e5e0731f160cbtree | snapshot
parent178820be7648a60af17837727e51fd1f3f2791dbcommit | diff
- 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 diff | blob | history
matita/matita/contribs/lambda/labelled_hap_reduction.ma diff | blob | history
matita/matita/contribs/lambda/labelled_sequential_computation.ma diff | blob | history
matita/matita/contribs/lambda/parallel_reduction.ma diff | blob | history
matita/matita/contribs/lambda/pointer_order.ma diff | blob | history
matita/matita/contribs/lambda/pointer_sequence.ma diff | blob | history
matita/matita/contribs/lambda/st_computation.ma diff | blob | history
matita/matita/contribs/lambda/xoa.conf.xml diff | blob | history
matita/matita/contribs/lambda/xoa.ma diff | blob | history
matita/matita/contribs/lambda/xoa_notation.ma diff | blob | history
matita/matita/lib/basics/lists/list.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.