Mercurial Mercurial > hg > nominal2 / 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.
LamEx.thy
changeset 515 b00a9b58264d
parent 514 6b3be083229c
child 534 051bd9e90e92
equal deleted inserted replaced
514:6b3be083229c 515:b00a9b58264d 
   338 apply (tactic {* clean_tac @{context} 1 *})
 
   338 apply (tactic {* clean_tac @{context} 1 *})
 
   339 apply (simp only: perm_prs)
 
   339 apply (simp only: perm_prs)
 
   340 (*apply (tactic {* regularize_tac @{context} 1 *})*)
 
   340 (*apply (tactic {* regularize_tac @{context} 1 *})*)
 
   341 sorry
 
   341 sorry
 
   342 
   342 
   343 done
 
       
   344
nominal2