Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Knowledge/vect.sml
author Walther Neuper <neuper@ist.tugraz.at>
Mon, 30 Aug 2010 14:35:51 +0200
branchisac-update-Isa09-2
changeset 37960 ec20007095f2
parent 37906 test/Tools/isac/IsacKnowledge/vect.sml@e2b23ba9df13
child 41943 f33f6959948b
permissions -rw-r--r--
renamed test/* according to src/*
neuper@37906 
     1
 
(* testexamples for Vect, vector spaces
neuper@37906 
     2
 
   *)
wneuper/isa