Mercurial Mercurial > wneuper > isac / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/sml/IsacKnowledge/Trig.thy
author agriesma
Thu, 17 Apr 2003 18:01:03 +0200
branchgriesmayer
changeset 327 421ece82f68c
permissions -rw-r--r--
neues cvs-verzeichnis 
     1 

     2 Trig = Real +

     3 

     4 end
wneuper/isac