History log of /seL4-l4v-master/isabelle/src/CTT/rew.ML
Revision Date Author Comments
# 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);
# 27ff3609 06-Sep-2010 wenzelm <none@none>

more antiquotations;
# 458a4961 13-Mar-2010 wenzelm <none@none>

removed old CVS Ids;
tuned headers;
# f03cdfbf 02-Jun-2006 wenzelm <none@none>

removed obsolete ML files;
# 347ce55a 20-Sep-2005 haftmann <none@none>

slight adaptions to library changes
# 8a318c3f 29-Jan-1996 clasohm <none@none>

expanded tabs
# f253ef6a 15-Sep-1993 clasohm <none@none>

Initial revision