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/Lambda/WeakNorm.thy
changeset 37678 0040bafffdef
parent 37234 95bfc649fe19
equal deleted inserted replaced
37677:c5a8b612e571 37678:0040bafffdef 
   347 
   347 
   348 instance ..
 
   348 instance ..
 
   349 
   349 
   350 end
 
   350 end
 
   351 
   351 
   352 instantiation * :: (default, default) default
 
   352 instantiation prod :: (default, default) default
 
   353 begin
 
   353 begin
 
   354 
   354 
   355 definition "default = (default, default)"
 
   355 definition "default = (default, default)"
 
   356 
   356 
   357 instance ..
 
   357 instance ..
isabelle