#
2759308d |
|
25-Sep-2015 |
wenzelm <none@none> |
moved remaining display.ML to more_thm.ML;
|
#
7f7de75b |
|
18-Jul-2015 |
wenzelm <none@none> |
prefer tactics with explicit context;
|
#
b8d56fe6 |
|
10-Feb-2015 |
wenzelm <none@none> |
proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
|
#
4eae0352 |
|
10-Nov-2014 |
wenzelm <none@none> |
proper context for assume_tac (atac remains as fall-back without context);
|
#
4de86cb2 |
|
09-Nov-2014 |
wenzelm <none@none> |
proper context for match_tac etc.;
|
#
a6a9e8cb |
|
14-May-2011 |
wenzelm <none@none> |
modernized functor names; tuned;
|
#
969e19f5 |
|
20-Apr-2011 |
wenzelm <none@none> |
eliminated Display.string_of_thm_without_context; tuned whitespace;
|
#
dd7c556c |
|
08-Jul-2010 |
haftmann <none@none> |
tuned titles
|
#
458a4961 |
|
13-Mar-2010 |
wenzelm <none@none> |
removed old CVS Ids; tuned headers;
|
#
886198b6 |
|
20-Jul-2009 |
wenzelm <none@none> |
proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
|
#
5c40dae8 |
|
17-May-2008 |
wenzelm <none@none> |
structure Display: less pervasive operations;
|
#
347ce55a |
|
20-Sep-2005 |
haftmann <none@none> |
slight adaptions to library changes
|
#
eee46a1e |
|
02-Mar-2005 |
skalberg <none@none> |
Move towards standard functions.
|
#
963bf32f |
|
25-Feb-1998 |
oheimb <none@none> |
renamed rep_claset to rep_cs
|
#
81a07728 |
|
19-Dec-1997 |
wenzelm <none@none> |
adapted to new sort function;
|
#
8a318c3f |
|
29-Jan-1996 |
clasohm <none@none> |
expanded tabs
|
#
3ee37119 |
|
12-Jul-1994 |
lcp <none@none> |
chain_tac: deleted; just use etac mp
|
#
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|