Gmelli
Text replacement - ". ----" to ". ----"
21:29
+1
Text replacement - "** ..." to "** …"
15:17
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
04:19
+7
Text replacement - "System]] (that applies a " to "System (that implements a [["
04:37
+3
no edit summary
19:15
+208
Text replacement - "<U>See</U>" to "See</U>"
22:35
−3
Text replacement - "<U>Counter-Example(s)</U>" to "Counter-Example(s)"
16:45
−7
Text replacement - "<B><U>AKA</U>:</B>" to "<B>AKA:</B>"
21:43
04:07
+297