Exemplos de Isabelle.Ast Term.Dispatch em C# (CSharp)

Exemplo n.º 1

 public R Visit(Term t)
 {
     return(t.Dispatch(this));
 }