Re-enable Search in the 2024 file fundamentals_lecture

UniMath · Aug 28, 2024 · f93eaf3 · f93eaf3
1 parent 2d4c5de
commit f93eaf3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/2024-07-Minneapolis/2_Coq/fundamentals_lecture.v b/2024-07-Minneapolis/2_Coq/fundamentals_lecture.v
@@ -572,10 +572,10 @@ in UniMath it is very important to be able to search the library so
 that you don't do something someone else has already done. *)
 
 (** To find everything about nat type: *)
-(* Search nat. *)
+Search nat.
 
 (** To search for all lemmas involving the pattern *)
-(* Search _ (_ -> _ -> _). *)
+Search _ (_ -> _ -> _).
 
 (** To find information about a notation *)
 Locate "+".