#
b8d56fe6 |
|
10-Feb-2015 |
wenzelm <none@none> |
proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
|
#
0ea81c5b |
|
20-Dec-2014 |
wenzelm <none@none> |
proper context for "net" tactics; avoid implicit Tactic.build_net -- make its operational behavior explicit in application;
|
#
4eae0352 |
|
10-Nov-2014 |
wenzelm <none@none> |
proper context for assume_tac (atac remains as fall-back without context);
|
#
f21371f9 |
|
28-Nov-2011 |
wenzelm <none@none> |
avoid stepping outside of context -- plain zero_var_indexes should be sufficient;
|
#
2396d686 |
|
07-Feb-2010 |
wenzelm <none@none> |
renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation;
|
#
28238a3e |
|
29-Oct-2009 |
wenzelm <none@none> |
eliminated some old folds;
|
#
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
|
#
a2aef54e |
|
16-Oct-2009 |
wenzelm <none@none> |
explicitly qualify Drule.standard;
|
#
121e82fb |
|
04-Mar-2009 |
blanchet <none@none> |
Merge.
|
#
d647eb14 |
|
01-Mar-2009 |
wenzelm <none@none> |
use long names for old-style fold combinators;
|
#
9cc62485 |
|
04-Mar-2005 |
skalberg <none@none> |
Removed practically all references to Library.foldr.
|
#
eee46a1e |
|
02-Mar-2005 |
skalberg <none@none> |
Move towards standard functions.
|
#
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|