isabelle: File revisions

src/HOLCF/IOA/meta_theory/automaton.ML

Mon, 12 Jul 2010 21:38:37 +0200	wenzelm	moved misc legacy stuff from OldGoals to Misc_Legacy;	file \| diff \| annotate
Thu, 01 Jul 2010 16:54:44 +0200	haftmann	*"prod" and "sum" replace "" and "+" respectively**	file \| diff \| annotate
Thu, 10 Jun 2010 12:24:03 +0200	haftmann	tuned quotes, antiquotations and whitespace	file \| diff \| annotate
Thu, 27 May 2010 18:10:37 +0200	wenzelm	renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;	file \| diff \| annotate
Mon, 17 May 2010 23:54:15 +0200	wenzelm	prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;	file \| diff \| annotate
Wed, 05 May 2010 18:25:34 +0200	haftmann	farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)	file \| diff \| annotate
Sat, 17 Oct 2009 14:43:18 +0200	wenzelm	eliminated hard tabulators, guessing at each author's individual tab-width;	file \| diff \| annotate
Tue, 23 Jun 2009 12:09:14 +0200	haftmann	renamed ioa to automaton	file \| diff \| annotate \| base

isabelle