etc/isar-keywords-HOL-Nominal.el
2007-08-20 haftmann 2007-08-20 updated keywords
2007-08-13 haftmann 2007-08-13 renamed keyword "to" to "module_name"
2007-08-01 wenzelm 2007-08-01 updated;
2007-07-25 wenzelm 2007-07-25 updated;
2007-07-12 wenzelm 2007-07-12 updated;
2007-07-11 berghofe 2007-07-11 Adapted to changes in inductive definition package.
2007-07-10 haftmann 2007-07-10 updated keywords
2007-05-08 wenzelm 2007-05-08 updated;
2007-03-27 berghofe 2007-03-27 Adapted to new syntax of nominal_inductive.
2007-03-20 haftmann 2007-03-20 updated keywords
2007-02-13 berghofe 2007-02-13 Added nominal_inductive keyword.
2007-02-10 haftmann 2007-02-10 updated keywords
2007-01-28 wenzelm 2007-01-28 updated;
2007-01-19 wenzelm 2007-01-19 updated
2007-01-16 haftmann 2007-01-16 updated keywords
2006-12-12 wenzelm 2006-12-12 updated;
2006-12-09 wenzelm 2006-12-09 updated;
2006-11-27 berghofe 2006-11-27 Added nominal_primrec command.
2006-11-11 wenzelm 2006-11-11 updated;
2006-11-07 wenzelm 2006-11-07 updated;
2006-10-20 haftmann 2006-10-20 code_constsubst -> code_axioms
2006-10-13 wenzelm 2006-10-13 updated;
2006-10-10 haftmann 2006-10-10 added code_abstype and code_constsubst
2006-10-02 haftmann 2006-10-02 normal_form now a diagnostic command
2006-09-25 haftmann 2006-09-25 added code_instname
2006-09-19 haftmann 2006-09-19 code_gen now peek keyword
2006-09-18 wenzelm 2006-09-18 updated;
2006-09-13 krauss 2006-09-13 Updated keyword file
2006-09-01 haftmann 2006-09-01 final syntax for some Isar code generator keywords
2006-08-29 haftmann 2006-08-29 updated keywords
2006-08-14 haftmann 2006-08-14 updated code generator keywords
2006-08-08 haftmann 2006-08-08 added code_constname keyword
2006-08-05 wenzelm 2006-08-05 updated;
2006-06-14 haftmann 2006-06-14 keyword update
2006-06-12 haftmann 2006-06-12 updated keywords
2006-06-06 wenzelm 2006-06-06 updated;
2006-05-16 wenzelm 2006-05-16 updated;
2006-05-13 wenzelm 2006-05-13 updated;
2006-05-05 krauss 2006-05-05 First usable version of the new function definition package (HOL/function_packake/...). Moved Accessible_Part.thy from Library to Main.
2006-04-28 berghofe 2006-04-28 New keyword file for HOL nominal datatype package.