# HG changeset patch # User drewp # Date 1431592339 25200 # Node ID 7e99f05c21cd5030cd2824ca0b851db5738f8eef # Parent 5da9200418dbb6f1642a1243be63631e7c6041b6 reasoning index page to html Ignore-this: 8e97a456bdf4e035ecdfe426a38e2741 darcs-hash:20150514083219-312f9-704acb2a99e762da68bffe3ef0bc0d6e81c38259 diff -r 5da9200418db -r 7e99f05c21cd service/reasoning/index.html --- a/service/reasoning/index.html Thu May 14 01:30:00 2015 -0700 +++ b/service/reasoning/index.html Thu May 14 01:32:19 2015 -0700 @@ -1,9 +1,9 @@ - - - + + reasoning + + - + -

Input

-
+    
+ +
+ +
+

Input

+
+    
+ + -

Rules

-
+    
+

Rules

+
+    
+ + -

Output

-
+    
+

Output

+
+    
- +
+ +