Isabelle/HOL Support Wiki

User Tools

Site Tools

Trace: • Rule
reference:rule

Rule

Rule can refer to several things in the context of Isabelle/HOL:

  • The general concept of rules in logics
  • The proof method rule
reference/rule.txt · Last modified: 2011/06/13 22:02 by 178.26.109.100

Page Tools

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki