Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Knowledge/Trig.thy
branchisac-update-Isa09-2
changeset 37992 351a9e94c38d
parent 37947 22235e4dbe5f
child 48880 ea0c337066d9
equal deleted inserted replaced
37991:028442673981 37992:351a9e94c38d 
     1 
     1 theory Trig imports Real begin
 
     2 Trig = Real +
 
       
     3 
     2 
     4 end
 
     3 end
wneuper/isa