kc3-lang/kc3

diff --git a/.ic3_history b/.ic3_history
index c06126e..50c0ba2 100644
--- a/.ic3_history
+++ b/.ic3_history
@@ -1,4 +1,3 @@
-1/2 + 2/3
 1/2 + 1/3
 3/2 + 1/3
 4/2 + 1/3
@@ -97,3 +96,4 @@ sqrt(-2) * sqrt(-2)
 1/2 * 3/4
 2/3 * 3/4
 2/3 / 3/4
+1 / sqrt(2)