delete
Merge branch 'ale_generacion' of https://github.com/Alemagox/byron into ale_generacion
Merge branch 'ale_generacion' of https://github.com/Alemagox/byron into ale_generacion
Merge branch 'ale_generacion' of https://github.com/Alemagox/byron into ale_generacion
Fixed label of procedure at specification time
Demo folder created