Help


[permalink] [id link]
+
Page "HOL (proof assistant)" ¶ 6
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

first and stems
For Athabascan, with a greater range of stems, the first two of five corresponding columns were identical, 1 and 2 stems ; ;
This is a pedagogical movement with over 1000 Steiner or Waldorf schools ( the latter name stems from the first such school, founded in Stuttgart in 1919 ) located in some 60 countries ; the great majority of these are independent ( private ) schools.
In the first year the plant grows leaves, stems, and roots ( vegetative structures ), then it enters a period of dormancy over the colder months.
One of the first plastics made from synthetic components, Bakelite was used for its electrical nonconductivity and heat-resistant properties in electrical insulators, radio and telephone casings, and such diverse products as kitchenware, jewelry, pipe stems, and children's toys.
The rapid diversification of lifeforms in the Cambrian, known as the Cambrian explosion, produced the first representatives of many modern phyla, representing the evolutionary stems of modern groups of species, such as the arthropods.
Mrs. Bowles is a single mother who was married three times — her first husband divorced her, her second one died in a jet accident, and her third one committed suicide by shooting himself in the head — and has two children who don't like or even respect her ( which stems from her permissive, often negligent and abusive parenting — Mrs. Bowles brags that her kids beat her up and she's glad that she can hit back ).
Higgins writes in the first person of finding the graves of 13 German paratroopers in an English churchyard, an event known not to have actually occurred, and claims that the book stems from his research into actual events.
British born director Alfred Hitchcock's Psycho ( 1960 ), was the first " slasher " movie, while in the same director's The Birds ( 1963 ) menace stems from nature gone mad.
While the first use of a roundel in a London transport context was the 19th-century symbol of the London General Omnibus Company – a wheel with a bar across the centre bearing the word GENERAL – its use on the Underground stems from the decision in 1908 to find a more obvious way of highlighting station names on platforms.
The keel and stems were made first.
The verb " pasàch " () is first mentioned in the Torah account of the Exodus from Egypt (), and there is some debate about its exact meaning: the commonly held assumption that it means " He passed over ", in reference to God " passing over " the houses of the Hebrews during the final of the Ten Plagues of Egypt, stems from the translation provided in the Septuagint ( παρελευσεται in, and εσκεπασεν in ).
It stems from early telescope observations of Mars by astronomers from the 19th-century who believed they saw straight lines on the planet, the first of them being the Italian Giovanni Schiaparelli in 1877.
This faulty knot stems from an incorrect first step while tying the rabbit hole.
To this day, the city's identity stems from its status as the oldest city in Finland and the country's first capital.
An important part of the image of world's fairs stems from this first era.
The use of rhubarb stems as food is a relatively recent innovation, first recorded in 17th century England, after affordable sugar became available to common people, and reaching a peak between the 20th century's two world wars.
It was first used for the sound of the voiceless alveolar affricate in old Spanish and stems from the Visigothic form of the letter " z " (), whose upper loop was lengthened and reinterpreted as a " c ", whereas its lower loop became the diminished appendage, the cedilla.
It was first used for the sound of the voiceless alveolar affricate in old Spanish and stems from the Visigothic form of the letter " z ".
Any flowering stems should be removed as these will weaken the plant in its first year.
The first form of neoliberalism, classical neoliberalism, stems from classical liberalism and was chiefly created in inter-War Austria by economists, including Friedrich Hayek and Ludwig von Mises.
The name stems from the first white person having been killed there.
These grasses are found almost exclusively on the first line of coastal sand dunes ; their extensive systems of creeping underground stems or rhizomes allow them to thrive under conditions of shifting sands and high winds.
In 2006, Nestlé became ( one of ) the first organisations to adopt the CSV approach, but their history of working together with society stems back to their roots.

first and from
Even the knowledge that she was losing another boy, as a mother always does when a marriage is made, did not prevent her from having the first carefree, dreamless sleep that she had known since they dropped down the canyon and into Bear Valley, way, way back there when they were crossing those other mountains.
A call to the police had been placed from here a couple of minutes after nine P.M., and the first police car had arrived two or three minutes after that -- 10 minutes ago now.
Officers who participate in the continual practice drills assured me that the President's decision could be made and announced on the gold circuit within minutes after the first flash from Aj.
Unless all gadgets are properly operated -- and the wires and seals from the handles removed first -- no damage can be done.
Not long ago an acquaintance, a slick-headed water rat of a lad up from the maw of the city, stood on the balcony puffing his first cigarette in weeks.
Yet when, at war's end, the ex-Tory made the first move to resume correspondence, Jay wrote him from Paris, where he was negotiating the peace settlement:
In his recognition of his impersonal self the dancer moves, and this self, in the `` first revealed stroke of its existence '', states the theme from which all else must follow.
If we examine the three types of change from the point of view of their internal structure we find an additional profound difference between the third and the first two, one that accounts for the notable difference between the responses they evoke.
Mother and son recognize each other and, in Mann's version of this legend, make a remarkable confession of guilt to each other, the confession of unconscious motive and unconscious knowledge of their true identities from the time they had first set eyes on each other.
At this point Mrs. Frances Cupply, one of Wright's handsome daughters by his first wife, came from the house and tried to calm Miriam as she tore down a no visitors sign and smashed the glass pane on another sign with a rock.
The first news stories had it that this blaze was started by a bolt of lightning, as though Miriam could call down fire from heaven like a prophet of the Old Testament.
After he had finished the first two volumes of his Lincoln, Sandburg went to work assembling a book of songs out of hobo and childhood days and from the memory of songs others had taught him.
He seemed timid ( at first, ) wore nose glasses from which a black ribbon dangled, and was no bigger than a jockey.
I had had difficulties from the very first day.
In the next few months of comparative silence, Pike waited patiently until conditions were perfect for a new attack, and then, displaying a remarkable grasp of the subtleties of political infighting, gained from his first bout with Woodruff, he used these changed conditions to excellent advantage.
Although this kind of wholesale objection came at first from some men who were not technically Puritans, still, once the Puritans gained power, they climaxed the affair by passing the infamous ordinance of 1642 which decreed that all `` public stage-plays shall cease and be forborne ''.
The first time I went there he asked me to bring him water from Flagler's well -- water that reminded him of his first days in the mountains -- and before I came the next time I filled a five-gallon jug for him and brought it to the hospital.
So whenever the Romans finally withdrew from the island, the Saxon Shore disappeared in the first decade of the fifth century.
It was the first American war in which the death rate from disease was lower than that from battle, due to the provision of trained medical personnel ( of the 200,000 officers, 42,000 were physicians ), compulsory vaccination, rigorous camp sanitation, and adequate hospital facilities.
Both Alfred Harcourt and Donald Brace had written him enthusiastic praise of Elmer Gantry ( any changes could be made in proof, which was already coming from the printer ) and they had ordered 140,000 copies -- the largest first printing of any book in history.
Even to be `` from hope and fear set free '' is at least better than to have lost the first without having got rid of the second.
This central episode consists of a series of staccato scenes set in the period from the beginning of the present century up to the first World War.
Perhaps Patchen was once involved in a train accident, and this passage from First Will And Testament may have been how the accident appeared to the poet when he first saw it -- if he did: ``

0.612 seconds.