Message-ID:

All syllogisms have three parts, therefore this is not a syllogism.

devel / comp.compilers / Common HOL Phase 1 Reports (proposals for the Ada language)

Common HOL Phase 1 Reports (proposals for the Ada language)

<23-08-007@comp.compilers>

https://www.novabbs.com/devel/article-flat.php?id=851&group=comp.compilers#851

Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From: lagu...@archeia.com (Luke A. Guest)
Newsgroups: comp.compilers
Subject: Common HOL Phase 1 Reports (proposals for the Ada language)
Date: Wed, 30 Aug 2023 18:24:25 +0100
Organization: Compilers Central
Sender: johnl%iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <23-08-007@comp.compilers>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970";
logging-data="88496"; mail-complaints-to="abuse@iecc.com"
Keywords: history, Ada
Posted-Date: 30 Aug 2023 17:09:58 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com

by: Luke A. Guest - Wed, 30 Aug 2023 17:24 UTC

Edward Fish has managed to get the DTIC to scan in the other language's
reports.

This has been a combined effort between a few of us on IRC to try to get
the other two languages, blue and yellow released so we can see what
could've happened.

This report contains all 4 language reports.

https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf

Subject	Author
Common HOL Phase 1 Reports (proposals for the Ada language)	Luke A. Guest