src/HOLCF/IOA/meta_theory/Automata.ML
Thu, 08 Jan 1998 18:09:47 +0100 oheimb added split_paired_Ex to the implicit simpset
Wed, 24 Dec 1997 10:02:30 +0100 paulson New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
Tue, 23 Dec 1997 11:49:46 +0100 paulson Decremented subscript because of change to iffD1
Tue, 16 Dec 1997 17:58:03 +0100 wenzelm expandshort;
Mon, 03 Nov 1997 14:06:27 +0100 wenzelm isatool fixclasimp;
Tue, 09 Sep 1997 11:15:32 +0200 mueller adm_tac extended
Wed, 03 Sep 1997 16:25:30 +0200 mueller some minor changes;
Thu, 17 Jul 1997 12:43:32 +0200 mueller changes needed for adding fairness
Mon, 23 Jun 1997 10:42:03 +0200 paulson Ran expandshort
Thu, 12 Jun 1997 16:47:15 +0200 mueller added deadlock freedom, polished definitions and proofs
Wed, 21 May 1997 15:08:52 +0200 mueller changes for release 94-8
Wed, 30 Apr 1997 11:20:15 +0200 mueller New meta theory for IOA based on HOLCF.
less more (0) tip