description = "applications of lambdadelta version 2"
title = "applications of lambdadelta version 2"
head = "cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)"
description = "applications of lambdadelta version 2"
title = "applications of lambdadelta version 2"
head = "cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)"