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/Statespace/DistinctTreeProver.thy
changeset 28819 daca685d7bb7
parent 27691 ce171cbd4b93
child 29269 5c25a2012975
equal deleted inserted replaced
28818:249e394e5b8e 28819:daca685d7bb7 
   711 DistinctTreeProver.distinct_implProver (!da) cdist';
 
   711 DistinctTreeProver.distinct_implProver (!da) cdist';
 
   712 *}
 
   712 *}
 
   713 
   713 
   714 *)
 
   714 *)
 
   715 
   715 
   716 
       
   717 
       
   718 
       
   719 
       
   720 
       
   721 
       
   722 
       
   723 
       
   724 
       
   725 end
 
   716 end
 
   726
isabelle