src/HOL/ex/reflection.ML
2006-12-06 wenzelm 2006-12-06 removed legacy ML bindings;
2006-12-01 haftmann 2006-12-01 slight cleanup in hologic.ML
2006-10-20 haftmann 2006-10-20 slight cleanup
2006-10-04 haftmann 2006-10-04 *** empty log message ***
2006-09-30 wenzelm 2006-09-30 renamed Variable.invent_fixes to Variable.variant_fixes;
2006-09-19 haftmann 2006-09-19 improved numeral handling for nbe
2006-09-18 chaieb 2006-09-18 Reifiaction now deals with Interpretations with an arbtrary number of parameters. It deals with binding. The Atomic cases can be I ... = f (xs!n) instead of only ... = xs!n.
2006-08-14 chaieb 2006-08-14 Reification now handels binders.
2006-08-03 wenzelm 2006-08-03 Generic reflection and reification (by Amine Chaieb).