| Tue, 18 Mar 2014 10:12:58 +0100 | immler | removed dependencies on theory Ordered_Euclidean_Space | file | diff | annotate |
| Fri, 14 Dec 2012 15:46:01 +0100 | hoelzl | Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors | file | diff | annotate |