isabelle: negation

anoma · Jul 12, 2024 · da6e6c7 · da6e6c7
1 parent ff047e9
commit da6e6c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Stdlib/Data/Bool/Base.juvix b/Stdlib/Data/Bool/Base.juvix
@@ -4,6 +4,7 @@ import Juvix.Builtin.V1.Bool open public;
 import Stdlib.Data.Fixity open;
 
 --- Logical negation.
+{-# isabelle-function: {name: "¬"} #-}
 not : Bool → Bool
   | true := false
   | false := true;