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/Doc/Isar_Ref/HOL_Specific.thy
changeset 57507 a609065c9e15
parent 57487 7806a74c54ac
child 57829 b1113689622b
equal deleted inserted replaced
57506:f5dbec155914 57507:a609065c9e15 
  1449   user's expectations about derived variants.
 
  1449   user's expectations about derived variants.
 
  1450 
  1450 
  1451   \end{description}
 
  1451   \end{description}
 
  1452 *}
 
  1452 *}
 
  1453 
  1453 
       
  1454 
  1454 chapter {* Proof tools *}
 
  1455 chapter {* Proof tools *}
 
  1455 
  1456 
  1456 section {* Adhoc tuples *}
 
  1457 section {* Adhoc tuples *}
 
  1457 
  1458 
  1458 text {*
 
  1459 text {*
isabelle