Web Server Statistics for the Computer Laboratory (Larry Paulson's pages only)

Program started at Mon-18-Aug-2014 10:01.
Analysed requests from Fri-18-Jul-2014 04:10 to Mon-18-Aug-2014 09:50 (31.24 days).

General Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report contains overall statistics.

Figures in parentheses refer to the 7-day period ending 18-Aug-2014 10:01.

Successful requests: 16,349 (3,850)
Average successful requests per day: 523 (549)
Successful requests for pages: 4,338 (955)
Average successful requests for pages per day: 138 (136)
Failed requests: 731 (257)
Redirected requests: 85 (14)
Distinct files requested: 459 (305)
Distinct hosts served: 2,978 (711)
Unwanted logfile entries: 9,073
Data transferred: 4.67 gigabytes (1.36 gigabytes)
Average data transferred per day: 153.10 megabytes (199.21 megabytes)

Daily Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the total activity for each day of the week, summed over all the weeks in the report.

Each unit (+) represents 20 requests for pages or part thereof.

dayreqspages 
Sun2597651+++++++++++++++++++++++++++++++++
Mon2290726+++++++++++++++++++++++++++++++++++++
Tue2237586++++++++++++++++++++++++++++++
Wed2444542++++++++++++++++++++++++++++
Thu2079560++++++++++++++++++++++++++++
Fri2575607+++++++++++++++++++++++++++++++
Sat2127666++++++++++++++++++++++++++++++++++

Domain Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the countries of the computers which requested files.

Listing domains, sorted by the amount of traffic.

reqs%bytesdomain
630954.48%[unresolved numerical addresses]
365518.87%.com (Commercial)
228410.25%.net (Networks)
720 3.07%.de (Germany)
377 2.46%.in (India)
44 2.31%.at (Austria)
245 0.68%[domain not given]
107 0.65%[unknown domain]
283 0.57%.uk (United Kingdom)
136 0.52%.np (Nepal)
91 0.52%.cn (China)
107 0.41%.za (South Africa)
10 0.32%.id (Indonesia)
514 0.29%.ru (Russia)
50 0.28%.ke (Kenya)
53 0.26%.th (Thailand)
75 0.26%.gh (Ghana)
76 0.19%.au (Australia)
80 0.18%.it (Italy)
41 0.16%.zw (Zimbabwe)
92 0.15%.tr (Turkey)
14 0.15%.org (Non Profit Making Organisations)
11 0.14%.nz (New Zealand)
4 0.13%.ee (Estonia)
12 0.13%.pk (Pakistan)
59 0.12%.fr (France)
48 0.12%.ir (Iran)
10 0.12%.pt (Portugal)
31 0.12%.vn (Vietnam)
60 0.11%.edu (USA Higher Education)
3 0.11%.am (Armenia)
18 0.10%.arpa (Arpanet)
9 0.10%.ua (Ukraine)
39 0.09%.dk (Denmark)
74 0.09%.br (Brazil)
22 0.09%.co (Colombia)
17 0.09%.ph (Philippines)
44 0.08%.se (Sweden)
4 0.07%.us (United States)
36 0.07%.nl (Netherlands)
42 0.07%.be (Belgium)
9 0.07%.ar (Argentina)
14 0.06%.hk (Hong Kong)
15 0.05%.ch (Switzerland)
6 0.05%.tz (Tanzania)
28 0.05%.mx (Mexico)
7 0.05%.sg (Singapore)
37 0.05%.pl (Poland)
6 0.05%.bt (Bhutan)
31 0.05%.il (Israel)
82 0.04%.cz (Czech Republic)
27 0.04%.ca (Canada)
8 0.04%.ge (Georgia)
9 0.04%.ro (Romania)
16 0.04%.fj (Fiji)
19 0.04%.lk (Sri Lanka)
4 0.04%.my (Malaysia)
3 0.04%.bg (Bulgaria)
3 0.04%.uy (Uruguay)
2 0.04%.kz (Kazakhstan)
19 0.02%.es (Spain)
31 0.02%.jp (Japan)
4 0.02%.kh (Cambodia)
5 0.02%.mil (USA Military)
3 0.02%.tt (Trinidad and Tobago)
2 0.02%.cm (Cameroon)
1 0.02%.la (Laos)
26 0.01%.gr (Greece)
3 0.01%.hr (Croatia)
1 0.01%.eg (Egypt)
1 .ie (Ireland)
1 .ck (Cook Islands)
4 .pro (Professionals)
4 .cy (Cyprus)
3 .hu (Hungary)
1 .tw (Taiwan)
5 .no (Norway)
1 .lt (Lithuania)
1 .cl (Chile)
1 .sk (Slovakia)

Organisation Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the organisations of the computers which requested files.

Listing the top 20 organisations by the number of requests, sorted by the number of requests.

reqs%bytesorganisation
724 3.86%msn.com
679 3.51%117
652 0.35%comcast.net
645 4.14%yandex.com
594 4.17%41
489 0.22%mail.ru
437 4.60%amazonaws.com
404 2.12%your-server.de
333 9.92%113
313 2.07%baidu.com
276 altushost.com
245 0.68%[domain not given]
211 0.10%61.135
198 0.04%ip-192-99-160.net
190 1.30%14
181 page2rss.com
153 2.78%opera-mini.net
152 1.07%106
152 0.64%115
144 0.69%bjtelecom.net
917757.74%[not listed: 876 organisations]

Search Word Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists which words people used in search engines to find the site.

Listing the top 30 query words by the number of requests, sorted by the number of requests.

reqssearch term
282pdf
270software
250engineering
155in
90notes
64computer
55of
52http://www.cl.cam.ac.uk/~lp15/papers/notes/se
52i.pdf
45compiler
45rules
45semantic
39a
35file
30to
28small
28make
28how
25for
24examples
24equivalent
24class
17bca
16on
16files
15learn
15books
13mall
13rajib
13by
458[not listed: 197 search terms]

Operating System Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the operating systems used by visitors.

Listing operating systems, sorted by the number of requests for pages.

no.reqspagesOS
130901609OS unknown
295081468Windows
 7341989  Unknown Windows
 2080438  Windows XP
 2820  Windows 2000
 1816  Windows 98
 144  Windows Server 2003
 11  Windows ME
 260  Windows NT
31164522Known robots
41071401Macintosh
51243306Unix
 1214288  Linux
 2716  BSD
 22  Other Unix
6210Symbian OS

Status Code Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the HTTP status codes of all requests.

Listing status codes, sorted numerically.

reqsstatus code
9530200 OK
5880206 Partial content
85301 Document moved permanently
939304 Not modified since last retrieval
1400 Bad request
56403 Access forbidden
674404 Document not found

File Size Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the sizes of files.

sizereqs%bytes
01627 
1B- 10B15 
11B- 100B1 
101B- 1kB146 
1kB- 10kB2793 0.29%
10kB-100kB6855 6.11%
100kB- 1MB439943.58%
1MB- 10MB46826.28%
10MB-100MB4523.74%

File Type Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the extensions of files.

Listing extensions with at least 0.1% of the traffic, sorted by the amount of traffic.

reqs%bytesextension
1015762.18%.pdf [Adobe Portable Document Format]
48526.41%.gz [Gzip compressed files]
43626.40%  .tar.gz [Compressed archives]
45 9.31%.tbz
8 0.49%.tgz
732 0.47%.jpg [JPEG graphics]
2775 0.39%[directories]
2 0.29%.zip [Zip archives]
1563 0.25%.html [Hypertext Markup Language]
28 0.10%.csv
554 0.12%[not listed: 8 extensions]

Request Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the files on the site.

Listing files with at least 0.03% of the requests, sorted by the number of requests.

reqs%byteslast timefile
446930.50%18/Aug/14 09:46/~lp15/papers/Notes/SE-I.pdf
835 2.29%17/Aug/14 21:01/~lp15/papers/Reports/equivclasses-slides.pdf
748 0.14%18/Aug/14 09:50/~lp15/
427 0.02%18/Aug/14 04:50/~lp15/MLbook/
337 0.11%18/Aug/14 04:51/~lp15/images/larry-paulson.jpg
329 0.33%18/Aug/14 05:59/~lp15/images/acm-logo.jpg
316 0.10%18/Aug/14 08:57/~lp15/papers/refereed.html
31511.45%13/Aug/14 02:32/~lp15/archive/Isabelle2011-1.tar.gz
213 2.61%18/Aug/14 08:33/~lp15/Sue/Thesis.pdf
189 0.47%17/Aug/14 23:04/~lp15/papers/Reports/fleuriot-kepler.pdf
176 0.03%18/Aug/14 05:50/~lp15/papers/Arith/
171 4.46%17/Aug/14 17:42/~lp15/papers/Reports/thesis.pdf
160 0.69%17/Aug/14 11:59/~lp15/papers/Auth/jcs.pdf
120 0.26%18/Aug/14 07:36/~lp15/papers/Isabelle/aisc98.pdf
113 0.28%18/Aug/14 09:13/~lp15/papers/Notes/Founds-FP.pdf
108 17/Aug/14 22:12/~lp15/MLbook/programs/
103 0.03%18/Aug/14 09:31/~lp15/papers/Auth/
91 18/Aug/14 09:21/~lp15/MLbook/exercises/
89 0.01%17/Aug/14 17:24/~lp15/papers/Automation/
83 0.42%17/Aug/14 17:26/~lp15/Pages/Munich-slides.pdf
82 0.26%18/Aug/14 08:31/~lp15/papers/Auth/tls.pdf
81 0.01%17/Aug/14 18:57/~lp15/Sue/
81 0.57%18/Aug/14 06:01/~lp15/papers/Arith/MetiTarski-jar.pdf
78 0.01%17/Aug/14 17:24/~lp15/papers/Sets/
74 0.27%14/Aug/14 07:02/~lp15/papers/Sets/reflection.pdf
68 0.10%15/Aug/14 21:25/~lp15/papers/Automation/meng-termination.pdf
67 0.02%18/Aug/14 09:18/~lp15/Grants/SET/
67 0.01%17/Aug/14 23:20/~lp15/Grants/AutoPolyFun/
64 0.11%18/Aug/14 06:49/~lp15/Pages/vita.pdf
63 0.01%17/Aug/14 23:46/~lp15/papers/lecture-courses.html
60 16/Aug/14 22:09/~lp15/MLbook/pub-details.html
59 0.10%17/Aug/14 17:26/~lp15/papers/Automation/paar.pdf
58 0.01%17/Aug/14 23:48/~lp15/papers/isabelle.html
58 17/Aug/14 19:12/~lp15/Pages/cv.html
57 17/Aug/14 17:24/~lp15/papers/Reports/
55 0.01%17/Aug/14 17:40/~lp15/papers/workshop.html
54 0.31%17/Aug/14 04:42/~lp15/papers/Reports/popl82.pdf
54 17/Aug/14 19:12/~lp15/Grants/
53 18/Aug/14 04:50/~lp15/MLbook/general.html
53 0.28%16/Aug/14 23:12/~lp15/papers/Automation/info-and-comp.pdf
52 0.01%17/Aug/14 19:20/~lp15/papers/
52 17/Aug/14 16:49/~lp15/MLbook/programs/sample2.sml
52 0.01%18/Aug/14 07:01/~lp15/archive/
52 0.06%16/Aug/14 21:22/~lp15/papers/Reports/mutil.pdf
51 17/Aug/14 07:36/~lp15/papers/Workshop/
49 0.06%18/Aug/14 09:13/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
48 0.10%16/Aug/14 16:40/~lp15/papers/Workshop/papers/voelker.pdf
47 0.01%17/Aug/14 21:10/~lp15/MLbook/ERRATA.html
46 0.08%18/Aug/14 04:09/~lp15/papers/Sets/constructible-abstract.pdf
46 0.11%16/Aug/14 00:12/~lp15/papers/Reports/blast.pdf
46 0.60%17/Aug/14 18:30/~lp15/papers/Auth/lics-slides.pdf
46 0.01%18/Aug/14 09:22/~lp15/MLbook/exercises/exer2.html
45 0.06%17/Aug/14 17:26/~lp15/papers/Auth/SET-overview-2002.pdf
45 0.01%16/Aug/14 22:09/~lp15/MLbook/review.html
45 0.23%18/Aug/14 02:01/~lp15/papers/Automation/reconstruction.pdf
44 14/Aug/14 02:32/~lp15/papers/Arith/download.html
44 0.01%15/Aug/14 11:12/~lp15/Grants/UNITY/
43 0.17%14/Aug/14 22:50/~lp15/papers/Sets/constructible-slides.pdf
43 0.35%17/Aug/14 21:08/~lp15/papers/Bella/purchase-JAR.pdf
43 0.11%15/Aug/14 15:11/~lp15/papers/Arith/Hscc09.pdf
41 17/Aug/14 23:39/~lp15/papers/UNITY/
41 0.03%16/Aug/14 06:07/~lp15/Usage/
41 0.01%18/Aug/14 09:34/~lp15/papers/invited.html
41 0.01%18/Aug/14 08:13/~lp15/MLbook/programs/sample3.sml
41 0.07%17/Aug/14 07:25/~lp15/papers/Arith/Narayanan DATE.pdf
40 0.19%15/Aug/14 03:07/~lp15/papers/Automation/filtering-jal.pdf
40 0.11%15/Aug/14 21:38/~lp15/papers/Reports/TPHOLs05.pdf
40 18/Aug/14 03:30/~lp15/Grants/Automation/
38 17/Aug/14 11:13/~lp15/papers/Arith/qepcad-for-mac.html
38 17/Aug/14 17:41/~lp15/papers/books.html
36 0.09%16/Aug/14 20:30/~lp15/papers/Bella/esorics98.pdf
36 0.06%17/Aug/14 17:25/~lp15/papers/Notes/strategy.pdf
36 0.13%14/Aug/14 18:55/~lp15/papers/Reports/equivclasses.pdf
36 0.02%17/Aug/14 18:57/~lp15/Sue/Sue Paulson.jpg
36 0.09%15/Aug/14 01:59/~lp15/papers/Bella/purchase.pdf
36 0.11%16/Aug/14 12:32/~lp15/papers/Kammueller/sylow.pdf
35 0.10%16/Aug/14 07:47/~lp15/papers/Sets/set-I.pdf
35 17/Aug/14 22:58/~lp15/Grants/LEO-II/
34 0.11%15/Aug/14 02:53/~lp15/papers/Sets/set-II.pdf
33 0.29%15/Aug/14 03:33/~lp15/papers/Reports/TypeClasses.pdf
33 0.01%18/Aug/14 09:48/~lp15/MLbook/exercises/exer4.html
33 0.08%15/Aug/14 20:23/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
33 0.08%17/Aug/14 10:18/~lp15/papers/Auth/multicast_verification.pdf
32 17/Aug/14 14:39/~lp15/Grants/arith.html
32 17/Aug/14 21:15/~lp15/Pages/CL-English.html
32 0.10%17/Aug/14 17:25/~lp15/papers/Notes/MOD-slides.pdf
32 0.18%17/Aug/14 22:19/~lp15/papers/Deduction/lecture3.pdf
32 0.06%17/Aug/14 17:26/~lp15/papers/Arith/ITP-2012-invited.pdf
31 0.28%17/Aug/14 18:46/~lp15/papers/Notes/formalizing-abst-slides.pdf
31 0.01%17/Aug/14 10:14/~lp15/MLbook/exercises/exer7.html
31 17/Aug/14 17:24/~lp15/papers/hol.html
30 0.01%14/Aug/14 13:01/~lp15/MLbook/exercises/exer3.html
30 0.12%15/Aug/14 01:25/~lp15/papers/Automation/translations-jar.pdf
30 0.02%16/Aug/14 23:24/~lp15/images/pilkington.jpg
30 0.06%15/Aug/14 00:41/~lp15/papers/Bella/dimacs97.pdf
30 0.05%18/Aug/14 00:54/~lp15/papers/Arith/fmcad2009.pdf
30 17/Aug/14 18:24/~lp15/papers/recur.html
30 0.15%17/Aug/14 08:00/~lp15/papers/Bella/accountability.pdf
30 0.16%16/Aug/14 22:51/~lp15/papers/Bella/smartcards-jcs.pdf
29 0.18%17/Aug/14 05:07/~lp15/papers/Arith/calculemus2008.pdf
29 0.13%15/Aug/14 20:32/~lp15/papers/Reports/logics97.pdf
29 0.09%13/Aug/14 13:05/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
29 1.14%17/Aug/14 17:26/~lp15/papers/Notes/LCF+.pdf
29 0.10%16/Aug/14 07:17/~lp15/papers/Bella/certified-email.pdf
28 0.10%17/Aug/14 21:33/~lp15/papers/Arith/case-splitting-stats.csv
28 0.07%17/Aug/14 18:01/~lp15/papers/Arith/lpar2007.pdf
28 0.01%17/Aug/14 18:11/~lp15/MLbook/exercises/exer8.html
27 0.07%15/Aug/14 14:39/~lp15/papers/Bella/nonrepudiation.pdf
27 0.01%18/Aug/14 06:48/~lp15/MLbook/first/programs/Lists-Trees.ML
27 0.27%16/Aug/14 23:12/~lp15/Grants/Automation/poster.pdf
27 0.09%15/Aug/14 15:03/~lp15/papers/Isabelle/Goedel-ar.pdf
27 1.36%17/Aug/14 17:27/~lp15/papers/Arith/ITP 2012 presentation.pdf
27 0.04%17/Aug/14 05:19/~lp15/papers/Arith/pdpar2006.pdf
27 0.09%15/Aug/14 22:34/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
27 16/Aug/14 07:16/~lp15/Data/relevance/
26 17/Aug/14 17:24/~lp15/papers/Deduction/
26 0.06%17/Aug/14 03:18/~lp15/papers/Automation/leo2-ijcar.pdf
26 0.08%11/Aug/14 18:36/~lp15/papers/Workshop/papers/vigano.pdf
26 0.04%17/Aug/14 17:26/~lp15/papers/Auth/lics.pdf
26 0.04%17/Aug/14 17:26/~lp15/papers/Auth/ijcar2001.pdf
25 0.01%18/Aug/14 08:58/~lp15/MLbook/programs/sample7.sml
25 0.01%17/Aug/14 19:04/~lp15/MLbook/programs/sample8.sml
25 0.02%15/Aug/14 09:26/~lp15/papers/Auth/auth-slides.pdf
25 16/Aug/14 23:58/~lp15/papers/Notes/
25 0.01%17/Aug/14 22:30/~lp15/MLbook/exercises/exer6.html
25 17/Aug/14 03:44/~lp15/MLbook/first/
25 0.02%17/Aug/14 17:27/~lp15/papers/Arith/NFM2014-invited.pdf
25 18/Aug/14 07:51/~lp15/MLbook/programs/sample4.sml
25 0.07%12/Aug/14 05:38/~lp15/papers/Bella/esorics2000.pdf
25 1.32%17/Aug/14 17:27/~lp15/papers/Arith/FroCos-presentation.pdf
24 0.03%17/Aug/14 17:27/~lp15/papers/Arith/FroCoS-2013-invited.pdf
24 0.08%14/Aug/14 19:31/~lp15/papers/Automation/filtering.pdf
24 0.01%15/Aug/14 20:17/~lp15/MLbook/exercises/exer5.html
24 0.06%17/Aug/14 17:15/~lp15/papers/Automation/IJCAR2004.pdf
24 16/Aug/14 18:38/~lp15/Grants/holisa.html
24 0.08%15/Aug/14 06:00/~lp15/papers/Sets/AC.pdf
24 0.23%17/Aug/14 17:27/~lp15/papers/Arith/NFM2014-slides.pdf
23 0.09%11/Aug/14 15:49/~lp15/papers/Auth/SET-overview-IJIS.pdf
23 0.04%17/Aug/14 17:26/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
23 18/Aug/14 06:47/~lp15/MLbook/programs/sample5.sml
23 0.06%15/Aug/14 20:38/~lp15/papers/Bella/registration.pdf
23 18/Aug/14 09:11/~lp15/papers/Workshop/participants.html
23 0.06%14/Aug/14 21:04/~lp15/papers/Automation/cade2011-sledge-smt.pdf
22 0.06%15/Aug/14 06:24/~lp15/papers/Sets/milner-ind-defs.pdf
22 0.03%17/Aug/14 17:25/~lp15/papers/Notes/leeds-notes.pdf
22 0.80%17/Aug/14 17:26/~lp15/papers/Arith/Overcoming-slides.pdf
22 0.07%17/Aug/14 06:09/~lp15/papers/Isabelle/coding.pdf
22 0.03%16/Aug/14 22:14/~lp15/papers/Auth/yahalom.pdf
22 0.02%14/Aug/14 22:12/~lp15/papers/Reports/CADE9.pdf
21 0.04%15/Aug/14 04:28/~lp15/papers/Bella/cav98.pdf
21 0.02%18/Aug/14 03:50/~lp15/papers/Arith/Overcoming.pdf
21 18/Aug/14 09:11/~lp15/papers/Arith/atan-problem-1-weak.html
21 0.22%17/Aug/14 17:26/~lp15/papers/Auth/ijcar2001-slides.pdf
21 0.24%17/Aug/14 18:23/~lp15/papers/Bella/TPHOLs03-slides.pdf
20 0.05%17/Aug/14 12:49/~lp15/papers/UNITY/ehmety-composition.pdf
20 0.09%17/Aug/14 20:40/~lp15/papers/Reports/Bridge-ml.pdf
20 16/Aug/14 17:38/~lp15/papers/Bella/
20 0.10%17/Aug/14 17:26/~lp15/papers/Auth/SET-overview-slides.pdf
20 0.02%17/Aug/14 17:25/~lp15/papers/Auth/security-protocols.pdf
19 0.04%16/Aug/14 14:51/~lp15/papers/Workshop/papers/staples.pdf
19 0.01%17/Aug/14 23:44/~lp15/papers/paulson.bib
19 0.02%10/Aug/14 14:26/~lp15/Grants/LEO-II/leo2-case.pdf
19 14/Aug/14 00:23/~lp15/MLbook/disclaimer.html
19 17/Aug/14 17:02/~lp15/MLbook/programs/sample9.sml
19 0.01%15/Aug/14 22:40/~lp15/papers/Reviews/MLer.pdf
19 0.06%16/Aug/14 02:25/~lp15/papers/Automation/translations.pdf
19 0.13%17/Aug/14 19:49/~lp15/papers/Reports/intro-to-isabelle.pdf
19 0.03%15/Aug/14 19:22/~lp15/papers/Reports/CADE11.pdf
19 18/Aug/14 07:44/~lp15/Grants/Chaieb.html
19 16/Aug/14 13:20/~lp15/MLbook/programs/sample3-old.sml
18 0.01%17/Aug/14 17:25/~lp15/papers/Notes/strategy-slides.pdf
18 0.01%18/Aug/14 06:24/~lp15/MLbook/programs/sample10.sml
18 17/Aug/14 20:46/~lp15/MLbook/programs/sample8-2004.sml
18 0.04%17/Aug/14 14:58/~lp15/papers/UNITY/tphols01.pdf
18 0.07%17/Aug/14 17:26/~lp15/papers/Automation/Huet colloquium.pdf
18 0.01%15/Aug/14 06:09/~lp15/MLbook/programs/sample10-old.sml
18 0.01%15/Aug/14 13:54/~lp15/papers/Reviews/construct.pdf
18 0.06%14/Aug/14 22:59/~lp15/papers/UNITY/Mechanizing-compositional.pdf
18 0.03%12/Aug/14 11:11/~lp15/Grants/AutoPolyFun/case.pdf
18 0.60%15/Aug/14 05:48/~lp15/Sue/Thesis-Appendices.pdf
18 0.01%17/Aug/14 12:15/~lp15/papers/Sets/AC-slides.pdf
17 14/Aug/14 00:23/~lp15/MLbook/programs/ROOT.sml
17 0.05% 9/Aug/14 16:43/~lp15/papers/Automation/jar-smt.pdf
17 0.09%16/Aug/14 13:24/~lp15/papers/UNITY/UNITY.pdf
17 15/Aug/14 21:15/~lp15/Pages/ACS-proposals.html
17 15/Aug/14 20:17/~lp15/MLbook/exercises/disclaimer.html
16 17/Aug/14 22:09/~lp15/Grants/auth.html
16 0.04%15/Aug/14 21:54/~lp15/papers/Arith/case-splitting.pdf
16 0.02%10/Aug/14 13:10/~lp15/Grants/Automation/final.pdf
16 0.06%15/Aug/14 00:22/~lp15/papers/Workshop/papers/nipkow.pdf
16 11/Aug/14 20:25/~lp15/MLbook/first/ERRATA1.txt
15 14/Aug/14 00:23/~lp15/MLbook/programs/notes.html
15  9/Aug/14 11:53/~lp15/Data/ho-translations/
15 18/Aug/14 06:08/~lp15/Pages/
15 0.46%17/Aug/14 23:06/~lp15/Sue/Phd-Poster.pdf
15 0.18%13/Aug/14 08:35/~lp15/papers/Deduction/lecture1.pdf
15 0.08%18/Aug/14 03:15/~lp15/papers/Workshop/papers/bednarczyk.pdf
15 17/Aug/14 15:23/~lp15/papers/Arith/RELEASE-NOTES.txt
15 16/Aug/14 16:09/~lp15/Grants/temporal.html
15 0.01%11/Aug/14 19:01/~lp15/papers/Reports/blast-slides.pdf
15 0.01%16/Aug/14 04:43/~lp15/Usage/images/
15 0.15%13/Aug/14 16:59/~lp15/Grants/arith-case.pdf
15 0.03%17/Aug/14 14:08/~lp15/papers/Sets/final.pdf
14 0.02%14/Aug/14 00:48/~lp15/papers/Workshop/front.pdf
14 0.03%14/Aug/14 21:16/~lp15/papers/Workshop/papers/ayari.pdf
14 0.08%16/Aug/14 17:21/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
14 16/Aug/14 15:53/~lp15/MLbook/first/programs/
14 0.06%11/Aug/14 14:39/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
14 0.01%13/Aug/14 15:11/~lp15/Sue/Cultures of Dance.ppt
14 15/Aug/14 04:39/~lp15/papers/Sets/ind-defs-slides.pdf
14 0.15%15/Aug/14 17:45/~lp15/papers/Sets/constructible-theory.pdf
14 0.02%15/Aug/14 06:29/~lp15/papers/Auth/recur-slides.pdf
14 0.07%14/Aug/14 21:55/~lp15/papers/Workshop/papers/kammueller.pdf
13 17/Aug/14 04:14/~lp15/papers/Reviews/
13 17/Aug/14 19:02/~lp15/MLbook/programs/sample8-old.sml
13 14/Aug/14 15:02/~lp15/Data/relevance/unfiltered-vampire.txt
13 16/Aug/14 16:16/~lp15/papers/Workshop/programme.html
12 17/Aug/14 23:23/~lp15/papers/Workshop/staples.html
12  9/Aug/14 03:30/~lp15/MLbook/programs/test10.sml
12 0.02%15/Aug/14 16:51/~lp15/papers/Isabelle/Goedel-logic.pdf
12 0.44% 3/Aug/14 05:18/~lp15/Grants/LEO-II/leo project poster.pdf
12 0.15%16/Aug/14 02:23/~lp15/papers/Isabelle/Cube-presentation.pdf
12 11/Aug/14 21:15/~lp15/papers/Workshop/thompson.html
12 0.04%15/Aug/14 05:34/~lp15/papers/Sets/reflection-slides.pdf
12 17/Aug/14 22:12/~lp15/MLbook/programs/sample9-2004.sml
12 0.03%18/Aug/14 04:28/~lp15/papers/Isabelle/sylow.pdf
12 0.05%14/Aug/14 12:35/~lp15/papers/Arith/cicm2012.pdf
11 14/Aug/14 22:27/~lp15/Grants/SET/final.pdf
11 0.53% 9/Aug/14 03:35/~lp15/papers/Isabelle/Goedel-slides.pdf
11 0.02%16/Aug/14 14:44/~lp15/papers/Workshop/papers/thompson.pdf
11 0.01%18/Aug/14 03:31/~lp15/Grants/Automation/case.pdf
11 18/Aug/14 07:14/~lp15/MLbook/first/programs/Modules.ML
11  9/Aug/14 19:57/~lp15/papers/Kammueller/
11 0.01%15/Aug/14 04:53/~lp15/papers/Workshop/kammueller.pdf
11 0.10%13/Aug/14 14:03/~lp15/papers/Deduction/lecture4.pdf
11 0.05%17/Aug/14 18:15/~lp15/papers/Reports/lamport-paulson-types.pdf
11 0.11%11/Aug/14 15:05/~lp15/papers/Auth/dagstuhl2003-slides.pdf
11 0.29%14/Aug/14 20:30/~lp15/Grants/arith-poster.pdf
11 0.02% 9/Aug/14 03:58/~lp15/papers/Automation/thf-sledge.pdf
11 11/Aug/14 02:39/~lp15/Sue/Cultures of Dance.html
11 0.03%15/Aug/14 10:08/~lp15/papers/Ballarin/coding.pdf
10 0.05%11/Aug/14 13:21/~lp15/papers/Auth/tls-slides.pdf
10 18/Aug/14 07:59/~lp15/MLbook/first/programs/Lambda.ML
10 0.12%12/Aug/14 13:32/~lp15/papers/Reports/TypeClasses-slides.pdf
10 0.02%11/Aug/14 14:02/~lp15/papers/Workshop/vigano.pdf
10 0.14%14/Aug/14 20:58/~lp15/papers/Arith/metit-slides.pdf
10 0.02%16/Aug/14 09:29/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
10 0.12% 9/Aug/14 03:35/~lp15/papers/Automation/reconstruction-slides.pdf
10 0.05%15/Aug/14 04:24/~lp15/papers/Workshop/papers/rasmussen.pdf
10 0.02% 9/Aug/14 03:39/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
9 11/Aug/14 23:05/~lp15/papers/Workshop/nipkow.html
9 0.02%14/Aug/14 15:48/~lp15/Grants/Chaieb-case.pdf
9 0.01%18/Aug/14 09:00/~lp15/MLbook/first/ML-syntax.ps.gz
9 0.02%15/Aug/14 06:14/~lp15/papers/Workshop/papers/benini.pdf
9 17/Aug/14 22:32/~lp15/papers/Workshop/matthews.html
9 0.04%14/Aug/14 23:41/~lp15/papers/UNITY/composition.pdf
9 14/Aug/14 22:03/~lp15/images/
9 16/Aug/14 16:10/~lp15/papers/Workshop/paulson.html
9 0.02%11/Aug/14 18:28/~lp15/papers/Workshop/papers/owens.pdf
9 17/Aug/14 16:49/~lp15/MLbook/first/programs/Functions.ML
9 10/Aug/14 14:32/~lp15/Grants/temporal-final.pdf
9 18/Aug/14 08:25/~lp15/MLbook/first/programs/Imperative.ML
9 0.08%12/Aug/14 12:04/~lp15/papers/Arith/Sogokon-nfm14.pdf
8 17/Aug/14 19:03/~lp15/MLbook/first/programs/ParsePrint.ML
8 12/Aug/14 13:37/~lp15/tmp/
8 17/Aug/14 17:45/~lp15/MLbook/first/ERRATA3.txt
8 17/Aug/14 20:53/~lp15/papers/Workshop/kalvala.html
8 0.19%16/Aug/14 19:05/~lp15/papers/Auth/dagstuhl2001-slides.pdf
8 15/Aug/14 07:38/~lp15/Grants/SET/case.pdf
8 10/Aug/14 22:56/~lp15/papers/Workshop/owens.txt
8 0.08%12/Aug/14 02:02/~lp15/papers/Deduction/lecture2.pdf
8 0.49% 7/Aug/14 17:36/~lp15/papers/Arith/metit.tgz
8 2.26%14/Aug/14 15:01/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
8 17/Aug/14 05:00/~lp15/Templates/
8 16/Aug/14 15:33/~lp15/Grants/UNITY/case.pdf
8  7/Aug/14 22:09/~lp15/Pages/projects.html
8 0.02%16/Aug/14 16:39/~lp15/papers/Ballarin/aisc98.pdf
8 17/Aug/14 22:18/~lp15/MLbook/first/programs/Hal.ML
8 0.02% 9/Aug/14 22:14/~lp15/papers/Workshop/papers/agerholm.pdf
8  4/Aug/14 18:13/~lp15/css/
7 0.02%17/Aug/14 18:37/~lp15/papers/Workshop/papers/matthews.pdf
7 0.01%15/Aug/14 17:32/~lp15/papers/Workshop/papers/kalvala-linear.pdf
7 18/Aug/14 08:40/~lp15/archive/ERRATA.txt
7 3.11% 3/Aug/14 22:07/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 3.18%10/Aug/14 13:43/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
7 17/Aug/14 23:50/~lp15/papers/Workshop/agerholm.html
7  8/Aug/14 20:02/~lp15/Data/
7 14/Aug/14 20:17/~lp15/papers/Workshop/futures.html
6  9/Aug/14 03:33/~lp15/Sue/Cultures of Dance.pdf
6 31/Jul/14 21:53/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
6  6/Aug/14 15:16/~lp15/papers/Workshop/heule.html
6 0.03%11/Aug/14 19:38/~lp15/papers/Auth/SET-document.pdf
6 14/Aug/14 22:03/~lp15/SpryAssets/
6 16/Aug/14 06:11/~lp15/papers/Isabelle/
6  6/Aug/14 03:59/~lp15/papers/Workshop/papers/
6  9/Aug/14 06:16/~lp15/papers/Ballarin/
6 0.03%13/Aug/14 20:31/~lp15/Data/relevance/tptp-2007-03-13.tbz
6 0.01%13/Aug/14 11:06/~lp15/papers/Workshop/friedrich.pdf
6 14/Aug/14 15:02/~lp15/Data/relevance/unfiltered-spass.txt
6  1/Aug/14 02:41/~lp15/MLbook/StandardML.plist
6 11/Aug/14 13:10/~lp15/papers/Workshop/ayari.pdf
6 17/Aug/14 18:15/~lp15/MLbook/first/ERRATA2.txt
5 0.46%17/Aug/14 19:07/~lp15/Data/ho-translations/Comb.tbz
5 3.12%17/Aug/14 22:22/~lp15/archive/Isabelle2013-1.tar.gz
5 2.96%13/Aug/14 01:22/~lp15/archive/Isabelle2012.tar.gz
5 14/Aug/14 15:02/~lp15/Data/relevance/unfiltered-E.txt
5 10/Aug/14 07:30/~lp15/papers/Workshop/wolff.html
5  9/Aug/14 03:48/~lp15/archive/cant-ozols.ps.gz
187 9.49%17/Aug/14 22:23[not listed: 66 files]