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.
doc-src/TutorialI/Inductive/AB.thy
changeset 17914 99ead7a7eb42
parent 16585 02cf78f0afce
child 23380 15f7a6745cce
equal deleted inserted replaced
17913:4159e1523ad8 17914:99ead7a7eb42 
     1 (*<*)theory AB = Main:(*>*)
 
     1 (*<*)theory AB imports Main begin(*>*)
 
     2 
     2 
     3 section{*Case Study: A Context Free Grammar*}
 
     3 section{*Case Study: A Context Free Grammar*}
 
     4 
     4 
     5 text{*\label{sec:CFG}
 
     5 text{*\label{sec:CFG}
 
     6 \index{grammars!defining inductively|(}%
 
     6 \index{grammars!defining inductively|(}%
isabelle