# HG changeset patch
# User agriesma
# Date 1050595263 -7200
# Node ID 925b49c23654ec9ef45f3916d92a862c7ae7bf70
# Parent  ed44605b37b68c13144fd054f1b56bc2ce2d4c85
neues cvs-verzeichnis

diff -r ed44605b37b6 -r 925b49c23654 src/sml/IsacKnowledge/LogExp.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/sml/IsacKnowledge/LogExp.thy	Thu Apr 17 18:01:03 2003 +0200
@@ -0,0 +1,4 @@
+
+LogExp = Real +
+
+end
\ No newline at end of file