ivor-0.1.11: Theorem proving library based on dependent type theory Contents Index

A B C D E F G H I K L M N O P Q R S T U V W >

Index (M)

Message Ivor.TT Metavar Ivor.ViewTerm, Ivor.TT mkVar Ivor.ViewTerm, Ivor.TT