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 (Q)

qed Ivor.TT Quote Ivor.ViewTerm, Ivor.TT quotedterm Ivor.ViewTerm, Ivor.TT quoteVal Ivor.TT