isabelle: src/HOLCF/IOA/NTP/Lemmas.thy@fc385ce6187d (annotated)

3073 88366253a09a Old NTP files now running under the IOA meta theory based on HOLCF; mueller parents: diff changeset	1	(* Title: HOL/IOA/NTP/Lemmas.thy
88366253a09a Old NTP files now running under the IOA meta theory based on HOLCF; mueller parents: diff changeset	2	ID: $Id$
88366253a09a Old NTP files now running under the IOA meta theory based on HOLCF; mueller parents: diff changeset	3	Author: Tobias Nipkow & Konrad Slind
88366253a09a Old NTP files now running under the IOA meta theory based on HOLCF; mueller parents: diff changeset	4	*)
88366253a09a Old NTP files now running under the IOA meta theory based on HOLCF; mueller parents: diff changeset	5
17244 0b2ff9541727 converted to Isar theory format; wenzelm parents: 14981 diff changeset	6	theory Lemmas
0b2ff9541727 converted to Isar theory format; wenzelm parents: 14981 diff changeset	7	imports Main
0b2ff9541727 converted to Isar theory format; wenzelm parents: 14981 diff changeset	8	begin
0b2ff9541727 converted to Isar theory format; wenzelm parents: 14981 diff changeset	9
0b2ff9541727 converted to Isar theory format; wenzelm parents: 14981 diff changeset	10	end
0b2ff9541727 converted to Isar theory format; wenzelm parents: 14981 diff changeset	11