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
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki