Revisions of src/utilities/permutations.ma
http://cerco.cs.unibo.it/log/src/utilities/permutations.ma?rev=2248
Trac Log - Revisions of src/utilities/permutations.maen-USTrac 1.2CerCohttp://cerco.cs.unibo.it/chrome/site/cerco_logo.png
http://cerco.cs.unibo.it/log/src/utilities/permutations.ma?rev=2248
tranquilMon, 21 May 2012 17:04:21 GMTRevision 1976: * monads: just changed some defs, which had to be propagated in some ...
http://cerco.cs.unibo.it/changeset/1976/src/utilities/permutations.ma
http://cerco.cs.unibo.it/changeset/1976/src/utilities/permutations.ma* monads: just changed some defs, which had to be propagated in some files
* ASM/CostProof.ma: linked cost as defined there to the one in <a class="missing wiki">StructuredTraces?</a> that uses fold
* added a library for permutations of lists (useful with fold AC ops on lists)
* first draft of abstract_status implementation for joint languages (file joint/as_semantics.ma)Log