src/HOL/MicroJava/BV/BVExample.thy
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2004-07-15 nipkow 2004-07-15 Moved to new m<..<n syntax for set intervals.
2003-05-26 streckem 2003-05-26 Introduced distinction wf_prog vs. ws_prog
2002-11-27 berghofe 2002-11-27 Fixed bug in consts_code section.
2002-06-14 kleing 2002-06-14 wt_method now checks bounded+types ==> wt_kildall <=> wt_method
2002-05-30 nipkow 2002-05-30 Modifications due to enhanced linear arithmetic.
2002-05-14 kleing 2002-05-14 numerals work again
2002-05-11 kleing 2002-05-11 fix for change in nat number simplification
2002-04-30 kleing 2002-04-30 tuned
2002-04-19 berghofe 2002-04-19 Added example for code generation.
2002-03-09 kleing 2002-03-09 canonical start state
2002-03-07 wenzelm 2002-03-07 renamed nat_number_of to nat_number (avoid clash with separate theorem);
2002-03-03 kleing 2002-03-03 symbolized
2002-02-28 kleing 2002-02-28 fixed document
2002-02-26 kleing 2002-02-26 introduces SystemClasses and BVExample