Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Isar_examples/Hoare.thy
changeset 21404 eb85850d3eb7
parent 21226 a607ae87ee81
child 21588 cd0dc678a205
equal deleted inserted replaced
21403:dd58f13a8eb4 21404:eb85850d3eb7 
    30   | Seq "'a com" "'a com"    ("(_;/ _)" [60, 61] 60)
 
    30   | Seq "'a com" "'a com"    ("(_;/ _)" [60, 61] 60)
 
    31   | Cond "'a bexp" "'a com" "'a com"
 
    31   | Cond "'a bexp" "'a com" "'a com"
 
    32   | While "'a bexp" "'a assn" "'a com"
 
    32   | While "'a bexp" "'a assn" "'a com"
 
    33 
    33 
    34 abbreviation
 
    34 abbreviation
 
    35   Skip  ("SKIP")
 
    35   Skip  ("SKIP") where
 
    36   "SKIP == Basic id"
 
    36   "SKIP == Basic id"
 
    37 
    37 
    38 types
 
    38 types
 
    39   'a sem = "'a => 'a => bool"
 
    39   'a sem = "'a => 'a => bool"
 
    40 
    40
isabelle