ifugao (6b695be4) at 22 Aug 18:14
Small fix
ifugao (1b1ea33b) at 22 Aug 18:04
Added theorems to explicit results
ifugao (497c4150) at 22 Aug 17:12
fixed gitignore
ifugao (c24840a0) at 22 Aug 17:11
Relecture finale
ifugao (7880153d) at 19 Aug 21:56
fixed formulation W hierarchy
ifugao (412fff7c) at 19 Aug 20:51
Added synthetic description
ifugao (faa5486d) at 06 Aug 19:38
Updated conclusion
ifugao (bc9d5b09) at 03 Aug 23:40
Updated conclusion
ifugao (84f53d32) at 25 Jul 20:47
Coherent notations in nmwc
ifugao (569467cd) at 22 Jul 05:51
minor fixes
ifugao (fdcc6d71) at 22 Jul 05:41
Version 2
ifugao (86a1850b) at 14 Jul 17:39
A few fixes
ifugao (05f074df) at 13 Jul 20:29
added conclusion
ifugao (9f606ba6) at 11 Jul 22:13
First version