Search

18 May 2006: subset : 'a list -> 'a list -> bool. SYNOPSIS. Tests if one list is a subset of another. ... So when l1 and l2 are regarded as sets, this is a subset test.

18 May 2006: DESCRIPTION. The relation equals_goal tests if two goals have exactly the same structure, with the same assumptions, conclusions and even labels, with the assumptions in the same order. ... The only respect in which this differs from a pure equality

27 Feb 2006: Test it exactly as before. it is a drop in replacement for the "hello world" example above. ... Test that the mount worked by opening another shell, making sure you are logged in as THE SAME USER who issued the "./hello -f /tmp/kkk" mount above (this is

1 Oct 2006: A finder telescope will be installed in November/December for telescope and dome tests. ... PSB said that he visited RAL last Tuesday (12th) and took part in acquiring further VIRCAM test data.

8 Sep 2006: This night, 27 July, would be a good one to stress test any pipeline. ... PSF fitting: DWE reported that the tests with real data have gone reasonably successfully.

11 Apr 2006: ESRC SEMINAR SERIES. The main sponsor of this seminar is the UK Economic and Social Research Council (ESRC). ... 12.45: Lunch. Scott Polar Research Institute CEPG. ESRC SEMINAR SERIES. The main sponsor of this seminar is the UK Economic and Social

12 Jul 2006: To do this, we will look at a range of languages (English, Greek and Japanese) and investigate methods for acquiring enough natural data to test our hypotheses.

18 May 2006: set_eq : 'a list -> 'a list -> bool. SYNOPSIS. Tests two sets' for equality. ... Otherwise it returns false. In other words, it tests if the lists are the same considered as sets, i.e.

27 Jul 2006: Professor Tudor Oprea believes so, and has arranged for a challenge to test this. ... The same five test acronyms gave identical results, except for DFT, which only found thirteen suggestions - all except one of which were chemistry-focussed.

10 Feb 2006: DHT6 will be a world-wide beta test lasting several months. When I am happy that everything is fine, I'll freeze the refined rules into DHT7. ... Remember that the DHT6 is a beta test, and I allow myself the possibility of making mistakes in setting up