src/HOLCF/FOCUS/Buffer_adm.ML
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
2002-08-05 berghofe 2002-08-05 Replaced nat_ind_tac by induct_tac.
2001-12-12 wenzelm 2001-12-12 isatool expandshort;
2001-10-06 wenzelm 2001-10-06 * sane numerals (stage 2): plain "num" syntax (removed "#");
2001-10-05 wenzelm 2001-10-05 sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
2001-10-03 wenzelm 2001-10-03 tuned parentheses in relational expressions;
2001-06-25 paulson 2001-06-25 Simprocs for type "nat" no longer introduce numerals unless
2001-05-31 wenzelm 2001-05-31 tuned
2001-05-31 oheimb 2001-05-31 added FOCUS including the One-Element Buffer by Manfred Broy