isabelle-utp/Abstract_Prog_Syntax

A simple Isabelle session introducing syntax for abstract programs

Abstract Program Syntax

A simple Isabelle session introducing syntax for abstract programs