stargeek

home PHP scripts articles seo tools links search contact shop realtors

IsaMorph 0.2.1

IsaMorph 0.2.1

IsaMorph 0.2.1 07/29/2004 06:50 AM

A Linux live CD featuring the Isabelle interactive theorem prover.

This is a GrokNews Entry: (what is grok?)

Similar Items

IsaMorph 0.2.1

Grok Headline matches for IsaMorph 0.2.1
Grok Description matches for IsaMorph 0.2.1
GrokA matches for IsaMorph 0.2.1

IsaMorph 0.2.1

The following phrases have been identified by the grok system as matching this entry:

Also check out:

Grok

Ipod Porn on the
Rise
Brief Abstract of
Wikipedia's
Mesothelioma Cancer
page
Get first aid
instructions in your
cell phone
IE is crap
JSPWiki gains
podcasting support
STUBS and
Franki/Earlgrey
Linux 0.6.3 (STUBS
Scripts)
MerlinWork 1.0.4
Comic Update Script
for PHP 1.7.3
More to the new iPod
than meets the eye?
Mark/Space ships The
Missing Sync for
Palm OS 4
Institute for
International
Economics
DateDex
Guidelines for
Implementing and
Maintaining Virtual
Reference Services
BlogOn 2004
Eisenhower National
Clearinghouse for
Mathematics and
Science Education
(ENC)
Mobile ``Nokia
Moments``
Microsoft Add-On
Secures Web Services
OSCON day three: A
new, network world
for open source, a
Java compromise, and
convincing the boss
Microsoft feels heat
over outsourcing
(SiliconValley.com)
Pricey little iPaqs
aim to be much more
than organizers
(USATODAY.com)
BT helped by
broadband demand
Gadgets: Dorm-Room
Computers 101
'Exemplary' soldier
steals computer
containing
classified data
Games interview:
Everquest II, part
three
Marietta selling
city-owned Internet
company at $24
million loss
New notebooks for PC
peak time
PeopleSoft upsets
merged customers
Central Depositary
Halts Operations Due
to Computers Seizure
IBM fires up new
Stinger
eBay Australia
recommends new
escrow service
provider
Thus cuts its losses
DLA switches service
Services pay off for
charity
Private carriage for
Nightfreight
Intel targets UK
private eye in name
row
Linux in Government:
Unseating Incumbents
Al-Qaeda threatens
Europe with a
'bloody war' -
website
* New Internet
portal launched in
Taipei
For Fretful Parents,
Online Postcards
From Camp
Disaster recovery
website launched for
eastern Bay of
Plenty
Google IPO will be a
wealth-maker for
many
Google IPO to
generate vast wealth
Virus overwhelms
Google, 3 other
search engines
Muscatine utility
OKs rate hike for
cable, decrease for
Internet
S. Korean Online
Music Site Offers
Olympic Album
Download Service
'No! the system's
crashed' The diary
of an online
examiner
Businessman charged
in internet fraud
ACC picks model for
online training
Agency Upgraded to
Improve Internet
Infrastructure
Al Qaeda threatens
Europe with a
Âbloody
warÂ:
website
MoD deploys
£10m on virtual
battlefield
US wins David
Blunkett Lifetime
Menace Award
Asus announces PDA
with VGA LCD, Wi-Fi
Line up for some
PayPal settlement
pie
Beckham of
Uzbekistan chases
cup glory (Reuters)
what is grok?