equal
deleted
inserted
replaced
188 style. |
188 style. |
189 |
189 |
190 |
190 |
191 *** ML *** |
191 *** ML *** |
192 |
192 |
193 * Proper context for various elementary tactics: compose_tac, |
193 * Proper context for various elementary tactics: match_tac, compose_tac, |
194 Splitter.split_tac etc. Minor INCOMPATIBILITY. |
194 Splitter.split_tac etc. Minor INCOMPATIBILITY. |
195 |
195 |
196 * Tactical PARALLEL_ALLGOALS is the most common way to refer to |
196 * Tactical PARALLEL_ALLGOALS is the most common way to refer to |
197 PARALLEL_GOALS. |
197 PARALLEL_GOALS. |
198 |
198 |