3 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux
index a6824828a..6b27b55a9 100644
--- a/stdlib/source/program/aedifex/artifact.lux
+++ b/stdlib/source/program/aedifex/artifact.lux
@@ -43,25 +43,25 @@
   (Equivalence Artifact)
   (at ..hash equivalence))
 
-(implementation: .public order
+(def: .public order
   (Order Artifact)
+  (implementation
+   (def: equivalence
+     ..equivalence)
 
-  (def: equivalence
-    ..equivalence)
-
-  (def: (< reference subject)
-    (<| (or (text#< (the #group reference)
-                    (the #group subject)))
-
-        (and (text#= (the #group reference)
+   (def: (< reference subject)
+     (<| (or (text#< (the #group reference)
                      (the #group subject)))
-        (or (text#< (the #name reference)
-                    (the #name subject)))
-        
-        (and (text#= (the #name reference)
+
+         (and (text#= (the #group reference)
+                      (the #group subject)))
+         (or (text#< (the #name reference)
                      (the #name subject)))
-        (text#< (the #version reference)
-                (the #version subject)))))
+         
+         (and (text#= (the #name reference)
+                      (the #name subject)))
+         (text#< (the #version reference)
+                 (the #version subject))))))
 
 (with_template [<separator> <definition>]
   [(def: <definition>
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 7784faa1f..b9fde212c 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -21,11 +21,11 @@
    {#Local}
    {#Remote Stamp}))
 
-(implementation: any_equivalence
+(def: any_equivalence
   (Equivalence Any)
-
-  (def: (= _ _)
-    true))
+  (implementation
+   (def: (= _ _)
+     true)))
 
 (def: .public equivalence
   (Equivalence Snapshot)
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 85dee4278..de20211f2 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -57,12 +57,12 @@
     (-> Date date.Date)
     (|>> representation))
 
-  (implementation: .public equivalence
+  (def: .public equivalence
     (Equivalence Date)
-
-    (def: (= reference subject)
-      (date#= (representation reference)
-              (representation subject))))
+    (implementation
+     (def: (= reference subject)
+       (date#= (representation reference)
+               (representation subject)))))
 
   (def: .public (format value)
     (%.Format Date)