Search

18 May 2006: is_binop : term -> term -> bool. SYNOPSIS. Tests if a term is an application of the given binary operator.

18 May 2006: is_exists : term -> bool. SYNOPSIS. Tests a term to see if it as an existential quantification.

18 May 2006: is_forall : term -> bool. SYNOPSIS. Tests a term to see if it is a universal quantification.

18 May 2006: is_select : term -> bool. SYNOPSIS. Tests a term to see if it is a choice binding.

17 Jul 2006: Speaking about the socio-economic impact of academic institutions, he admitted that the future of a university even as ancient as Cambridge is linked to the value it brings and is

7 Nov 2006: area. It is home to the Faculties of Modern and Medieval Languages, Philosophy and Economics.

18 May 2006: is_realintconst : term -> bool. SYNOPSIS. Tests if a term is an integer literal of type :real. ... DESCRIPTION. The call is_realintconst t tests whether the term t is a canonical integer literal of type :real, i.e.

18 May 2006: is_numeral : term -> bool. SYNOPSIS. Tests if a term is a natural number numeral.

18 May 2006: occurs_in : hol_type -> hol_type -> bool. SYNOPSIS. Tests if one type occurs in another.

18 May 2006: is_vartype : hol_type -> bool. SYNOPSIS. Tests a type to see if it is a type variable.

10 Nov 2006: During the Victorian era, economic and technological developments helped scholars unearth new information about a range of different historical periods.

18 May 2006: is_reserved_word : string -> bool. SYNOPSIS. Tests if a string is one of the reserved words. ... The call is_reserved_word s tests if the string s is one of them.

14 Mar 2006: Dr Turner, of the Department of Psychiatry, is one of five young researchers chosen to showcase their research at the prominent event organised by the Office

23 Mar 2006: From October 1984 he was Professor of Economics at the London School of Economics where he founded the Financial Markets Group.

3 Oct 2006: Perhaps in multi-cultural Britain the complex interactions of geo-political and socio-economic factors are being manifested in newer forms in the everyday realm of food,” said Dr Janeja.

22 Nov 2006: During the day, the Economic and Social Research Council (ESRC) and the Engineering and Physical Sciences Research Council (EPSRC) will each run a workshop to provide advice specific to their funding

15 Feb 2006: This could be through the use of economic means, such as the EU’s emission trading scheme, applying a multi-disciplinary approach to bring together the work of several departments. ... Dr Terry Barker, Director of 4CMR, said: “This is very exciting

17 Jul 2006: Speaking about the socio-economic impact of academic institutions, he admitted that the future of a university even as ancient as Cambridge is linked to the value it brings and is

5 Jul 2006: These remarkable people in turn represent other worlds the human intellect often takes us to: through the disciplines of theology, economics, education, literature, mathematics, science, and engineering.

30 Nov 2006: It’s great to see students throwing their mobile phones in the air after the talks to test the law of conservation of angular momentum,” he says.