ExprHolSem

DATE : October 2001
AUTHOR : underdarkprime & Ade

Index


  1. predInHol

Provide transformation from Expr structure (ExprDD.Expr) into Hol term. Using semantical transformation for visible operator

predInHol

predInHol : ExprDD.Expr -> Hol term
predInHol  expr

Semantical transform expr into Hol state predicate term. Required the StatePredTheory library to be loaded first.

Generated by mosmldoc --underdarkPrime