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

var Ivor.ViewTerm, Ivor.TT vartype Ivor.ViewTerm, Ivor.TT varval Ivor.ViewTerm, Ivor.TT view Ivor.ViewTerm, Ivor.TT ViewConst Ivor.ViewTerm, Ivor.TT ViewTerm Ivor.ViewTerm, Ivor.TT viewType Ivor.ViewTerm, Ivor.TT