add source of tactics

logsem · Nov 14, 2024 · 82ace8a · 82ace8a
1 parent bcb0896
commit 82ace8a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/theories/prelude/tactics.v b/theories/prelude/tactics.v
@@ -6,7 +6,9 @@ From iris.proofmode Require Import proofmode.
 
 Set Default Proof Using "Type*".
 
-(** * Tactics from Dimsum *)
+(** * Tactics from Dimsum 
+    https://gitlab.mpi-sws.org/iris/dimsum/-/tree/master?ref_type=heads
+*)
 (** 
     - inv_all
     - case_bool_decide (_)