moving a few things to deprecated

2009-12-09 09:47:16 +00:00
parent df019fa427
commit a2546722d1
676 changed files with 0 additions and 0 deletions
@@ -0,0 +1,4 @@
+abstract PredefAbs = {
+  cat Int ; String ; Float ; 
+} ;
+