https://github.com/JacquesCarette/hol-light
Tip revision: b27a524086caf73530b7c2c5da1b237d3539f143 authored by Jacques Carette on 24 August 2020, 14:18:07 UTC
Merge pull request #35 from sjjs7/final-changes
Merge pull request #35 from sjjs7/final-changes
Tip revision: b27a524
| File | Mode | Size |
|---|---|---|
| agm.ml | -rw-r--r-- | 6.4 KB |
| analysis.ml | -rw-r--r-- | 301.9 KB |
| binary.ml | -rw-r--r-- | 7.9 KB |
| binomial.ml | -rw-r--r-- | 17.1 KB |
| bitmatch.ml | -rw-r--r-- | 47.1 KB |
| calc_real.ml | -rw-r--r-- | 103.6 KB |
| card.ml | -rw-r--r-- | 150.6 KB |
| floor.ml | -rw-r--r-- | 34.8 KB |
| frag.ml | -rw-r--r-- | 17.4 KB |
| grouptheory.ml | -rw-r--r-- | 569.1 KB |
| integer.ml | -rw-r--r-- | 39.8 KB |
| isum.ml | -rw-r--r-- | 13.3 KB |
| iter.ml | -rw-r--r-- | 6.6 KB |
| jacobi.ml | -rw-r--r-- | 47.0 KB |
| modmul_group.ml | -rw-r--r-- | 10.8 KB |
| multiplicative.ml | -rw-r--r-- | 21.0 KB |
| permutations.ml | -rw-r--r-- | 54.5 KB |
| pocklington.ml | -rw-r--r-- | 109.3 KB |
| poly.ml | -rw-r--r-- | 71.5 KB |
| pratt.ml | -rw-r--r-- | 42.6 KB |
| prime.ml | -rw-r--r-- | 87.1 KB |
| primitive.ml | -rw-r--r-- | 79.3 KB |
| products.ml | -rw-r--r-- | 39.2 KB |
| q.ml | -rw-r--r-- | 5.9 KB |
| ringtheory.ml | -rw-r--r-- | 759.1 KB |
| rstc.ml | -rw-r--r-- | 24.8 KB |
| transc.ml | -rw-r--r-- | 301.5 KB |
| wo.ml | -rw-r--r-- | 84.2 KB |
| words.ml | -rw-r--r-- | 207.8 KB |
