Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover ( whose language, pplambda, a combination of the first-order predicate calculus and the simply typed polymorphic lambda calculus, had ML as its metalanguage ).

Historically, Crofton derived his formula later than, and independently of, Barbier's theorem.

Historically speaking, this result was largely known before Petri, and has been called the theorem of Babbage-Chisini-Enriques ( for Dennis Babbage who completed the proof, Oscar Chisini and Federigo Enriques ).

Historically, however, the concept is one that has been of marked benefit to the people of the Western civilizational group.

Historically re is the formative that is employed also in republic, and al is the common suffix.

Historically, the flaming sword laid across this Eden is the Civil War.

Historically, archery has been used for hunting and combat, while in modern times, its main use is that of a recreational activity.

Historically, the use of two guns at once, one in each hand, is most associated with the American Old West, where revolvers holding only six rounds of ammunition were the highest capacity handguns available and reloading was a slow process.

Historically carving was a male art and leadership attribute ; in today ’ s world it is an art of both sexes.

Historically, the star was frequently used in celestial navigation in the maritime trade, because it is listed as one of the 57 navigational stars.

Historically, a byte was the number of bits used to encode a single character of text in a computer and for this reason it is the basic addressable element in many computer architectures.

Historically, MLB had also used a 2-3 format in a best-of-5 series, but is rarely used.

Historically, the left bank is more developed.

Historically notable among the Louisiana code's differences from common law is the role of property rights among women, particularly in inheritance gained by widows.

Historically, allegations of cannibalism were used by the colonial powers to justify the enslavement of what were seen as primitive peoples ; cannibalism has been said to test the bounds of cultural relativism as it challenges anthropologists " to define what is or is not beyond the pale of acceptable human behavior ".

Historically, hedonistic utilitarianism is the paradigmatic example of a consequentialist moral theory.

Historically, most states where the official religion is Buddhism have imposed capital punishment for some offenses.

Historically, the landscape is littered with instances of low adoption rates.

Historically, call centres have been built on PBX equipment that is owned and hosted by the call centre operator.

Historically, Jews have considered it of central importance: traditionally, children began their study of the Torah with Leviticus, and the midrashic literature on Leviticus is among the longest and most detailed of midrashic literature ( see Bamberger 1981: 737 ).

Historically the å has developed from a ligature by writing a small a on top of the letter a ; if an å character is unavailable, some Scandinavian languages allow the substitution of a doubled a.

Historically, it is of course impossible to prove or disprove that these records speak of the same flag, or if the flag of 1208 or 1219 ever existed.

Historically an increasingly complex division of labour is closely associated with the growth of total output and trade, the rise of capitalism, and of the complexity of industrialisation processes.

Historically, where comparative psychology researches animal behaviour in the context of what is known about human psychology, ethology researches animal behaviour in the context of what is known about animal anatomy, physiology, neurobiology, and phylogenetic history.

Historically, it was often sung as a sea chanty.

Historically, this was often a promise to exchange the money for precious metals in some fixed amount.

Historically, the term often referred to the combination of economic liberalism, which champions laissez-faire markets, with the classical conservatism concern for established tradition, respect for authority and religious values.

Historically, a great number of coinage metals ( including alloys ) and other materials ( e. g. Porcelain ) have been used practically, artistically, and experimentally in the production of coins for circulation, collection, and metal investment, where bullion coins often serve as more convenient stores of assured metal quantity and purity than other bullion.

Historically, especially in late 18th-and early 19th-century Britain, a dandy, who was self-made, often strove to imitate an aristocratic lifestyle despite coming from a middle-class background.

Historically, distances were often measured by chains such as Gunter's chain, and angles using graduated circles and, later, the theodolite.

* Historically, valve amplifiers often used a class-A power amplifier simply because valves are large and expensive ; many class-A designs use only a single device.

Historically, in Western societies the focus of genealogy was on the kinship and descent of rulers and nobles, often arguing or demonstrating the legitimacy of claims to wealth and power.

Historically, no VAT was levied in Jersey, with the result that luxury goods have often been cheaper than in the UK or in France.

Historically, blame has often been laid on Abbey as legal guardian, but he may also have been unaware.

Historically, kimonos were often taken apart for washing as separate panels and resewn by hand.

Historically this use of the term was often contrasted with the term " Labor " referring to those being managed.

Historically, most roads in New Zealand were funded by local road authorities ( often road boards ) who derived their income from local rates.

Historically, Poland often saw itself in partnership with non-Slavic nations most of the time, such as Hungary, Saxony, Sweden or Lithuania under the Polish-Lithuanian Commonwealth from 1569 to 1795.

Historically, Muslim rulers have often remarried the wives of their conquered opponents in order to gain ties of kinship with their new subjects.

Historically, the term terrorism was used to refer to actions taken by governments against their citizens whereas now it is more often perceived as targeting of civilians as part of a strategy directed against governments.

Historically, Unitarian Universalists have often been active in political causes, notably the civil rights movement, the gay rights movement, the social justice movement, and the feminist movement.

Historically, the X-Men have been based in the Xavier Institute, near Salem Center, in north-east Westchester County, NY, and are often depicted as a family.

Historically, large sacks often contained grains ; thus the association of these knots with the miller's trade.

Historically they have often taken the form of anagrams, Graecisms, and Latinisations, although there are many other methods of choosing a pseudonym

Historically, time standards were often based on the Earth's rotational period.

Historically, public peering locations were known as network access points ( NAPs ); today they are most often called exchange points or Internet exchanges (" IXP " or " IX ").

Historically, life on Mars has often been hypothesized.

Historically, the cornett was frequently used in consort with sackbuts ( 2 cornetts, 3 sackbuts ), often to double a church choir.